a functional programming language with some fine features, such as
- type inference
- parametric polymorphism
- typeclasses
- nominal, isorecursive types
- pattern matching
- user-defined operators
- first class functions
- automatic currying
- partial application
- llvm target