I am one ofon this wiki.
Haskell - the language of choice for people smarter than you.
- Kind declarations
deriving(newtype deriving is OK)
- Typeable & Dynamic
- Generics and all that "Scrap Your Boilerplate" nonsense
- numeric defaulting
- n+k patterns