Reports choice type parameters that aren't used in the definition (often called "opaque types").
import NoUnused.CustomTypeConstructorArgs
import NoUnused.CustomTypeConstructors
import Review.OpaqueType
config =
[ Review.OpaqueType.forbid
-- to catch variables in unused parts of the type
, NoUnused.CustomTypeConstructors.rule []
, NoUnused.CustomTypeConstructorArgs.rule
]
Ruleto report opaque types.More on the why and the alternatives in the readme