I don't think he has explored Haskell's type system that deeply, since he mentioned Haskell as a complex language along with Java and C++. Haskell has a very simple core.