|
|
|
|
|
These are features which we might want to consider for removal or replacement with something better/cleaner.
|
|
|
|
|
|
|
|
|
- n + k patterns
|
|
|
- \~ patterns
|
|
|
- the monomorphism restriction
|
... | ... | @@ -5,3 +9,4 @@ |
|
|
- the Prelude (or at least, seriously trim it to the minimum possible)
|
|
|
- defaulting
|
|
|
- class contexts on data definitions
|
|
|
- record syntax |