* [x] #22560 "Invisible binders in type declarations" * [x] #23501 "Wildcard binders in type declarations" * [x] #23510 "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" * [x] #23514 "Remove arity inference in type declarations" * [x] #23512 "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"