|
- n + k patterns
|
|
- n + k patterns
|
|
|
|
|
|
- \~ patterns
|
|
- \~ patterns
|
|
|
|
|
|
- the monomorphism restriction
|
|
- the monomorphism restriction
|
|
|
|
- classes (no really, there are people who advocate this!)
|
|
|
|
- the Prelude (or at least, seriously trim it to the minimum possible) |