marcoil.org
Haskell’s type system
Haskell’s type system will keep on evolving until it’s a static, completely specified, only available at compile-time implementation of Common Lisp.