| | 88 | || ScopedTypeVariables || #67, #81 || MS || || specification of syntax that binds type variables |
| | 89 | || || || || || |
| | 90 | || generalized deriving for newtype (NewtypeDeriving) || #52 || || specification that does not reference "the same representation" |
| | 91 | || || || || || overlap with TypeSynonymInstances |
| | 92 | || remove FixityResolution from the context-free grammar || #30 || SM || || None |
| | 93 | || || || || || |
| | 94 | || improve [wiki:Defaulting] rules || #21 || || || scope of default clauses |
| | 95 | || || || || || impact on existing defaults |
| | 96 | || || || || || |
| | 97 | || KindAnnotations || #84 || BH, AL || || None |
| | 98 | || || || || || |
| | 99 | || MonomorphicPatternBindings || #103 || RN || || treatment of pattern bindings with explicit type signatures |
| | 100 | || || || || || |
| | 101 | |
| | 102 | |
| | 103 | |
| | 104 | |
| | 105 | |
| | 106 | |
| | 107 | |
| | 108 | |
| | 109 | |
| | 110 | |
| | 111 | |
| | 112 | |
