GHC Proposal 425: Meta-ticket

#22560 (closed) "Invisible binders in type declarations"
#23501 (closed) "Wildcard binders in type declarations"
#23510 (closed) "Implement the -Wimplicit-rhs-quantification warning"
#25911 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"

Edited Apr 01, 2025 by Vladislav Zavialov

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information