@dabeaz
No side effects.
Higher order polymorphism.
Type-level programming.
The only language where I enjoy refactoring (instead of fear it).