Detect unnecessary imports #672
Description
If you import Data.List.Extra and Data.List then the latter is redundant. Have a database of such supersets and warn on them.
{{ message }}
If you import Data.List.Extra and Data.List then the latter is redundant. Have a database of such supersets and warn on them.