Ezyang recently posted about "Haskell for Coq Programmers"[1] which I think explains the limitations of type level programming in Haskell pretty well. It made a

Ezyang recently posted about "Haskell for Coq Programmers"[1] which I think explains the limitations of type level programming in Haskell pretty well. It made a lot of sense to me because it explains the features coming from a language with a more expressive type system and what capabilities Haskell has. [1]http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/ http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/