Haskell’s type system will keep on evolving until it’s a static, completely specified, only available at compile-time implementation of Common Lisp.
The article Haskell’s type system by marcoil, unless otherwise expressly stated, is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.