GHC Proposal 425: Meta-ticket
-
#22560 (closed) "Invisible binders in type declarations" -
#23501 "Wildcard binders in type declarations" -
#23510 (closed) "Implement the -Wimplicit-rhs-quantification
warning" -
Remove implicit RHS quantification in type synonyms (3 releases after invisible binders) -
#23502 "Kind inference for invisible binders in type declarations" -
#23514 (closed) "Remove arity inference in type declarations" -
#23512 (closed) "Type/data instances: require that variables on the RHS are mentioned on the LHS" -
#23515 "Type/data instances: require that the instantiation is determined by the LHS alone"