| 65 | | |
| | 65 | || allow TypeSynonymInstances || #70 || SJT || || superseded by NewtypeDeriving? |
| | 66 | || || || || || not very useful without FlexibleInstances and/or OverlappingInstances |
| | 67 | || || || || || |
| | 68 | || RelaxedDependencyAnalysis || #65 || HN, MS || || None |
| | 69 | || || || || || |
| | 70 | || ImpreciseExceptions || #39 || || || may require a standard deepSeq to be usable |
| | 71 | || || || || || |
| | 72 | || NondecreasingIndentation || #53 || SM || || None |
| | 73 | || || || || || |
| | 74 | || fix the lexical syntax for QualifiedIdentifiers || #39 || SM || || permit qualified identifiers in definitions? |
| | 75 | || || || || || |
| | 76 | || FlexibleInstances || #32 || || || choice of instance conditions for termination of typechecking |
| | 77 | || || || || || poor interaction with NewtypeDeriving? |
| | 78 | || || || || || |
| | 79 | || add NewPragmas || #51 || || || choose specific pragmas to standardize |
| | 80 | || || || || || |
| | 81 | || || || || || |
| | 82 | |
| | 83 | |
| | 84 | |
| | 85 | |
| | 86 | |
