| 6 | | - For removal: can be simulated with 'where' or 'let' clauses |
| 7 | | - Against removal: fine control of strictness can require careful placement of these and let/where would obscure what is happening and get very verbose with nested ~ patterns |
| 8 | | * the monomorphism restriction |
| | 6 | * For removal: can be simulated with 'where' or 'let' clauses |
| | 7 | * Against removal: |
| | 8 | * fine control of strictness can require careful placement of these and let/where would obscure what is happening and get very verbose with nested ~ patterns. |
| | 9 | * are used in several safe programing idioms that would not be workroundable. |
| | 10 | * the monomorphism restriction |