@@ -213,7 +213,15 @@ lintImportDecl env mni qualifierName names declType allowImplicit =
213 checkImplicit warning =
213 checkImplicit warning =
214 if null allRefs
214 if null allRefs
215 then unused
215 then unused
216− else warn (warning mni allRefs)
216+ else warn (warning mni (map simplifyTypeRef allRefs))
218+ -- Replace explicit type refs with data constructor lists from listing the
219+ -- used constructors explicity `T(X, Y, [...])` to `T(..)` for suggestion
221+ simplifyTypeRef :: DeclarationRef -> DeclarationRef
222+ simplifyTypeRef (TypeRef name (Just dctors))
223+ | not (null dctors) = TypeRef name Nothing
224+ simplifyTypeRef other = other
218 checkExplicit
226 checkExplicit
219 :: [DeclarationRef]
227 :: [DeclarationRef]