In my previous post “Learning Prolog to be a better Haskell programmer“, I advocated learning Prolog is quite helpful to get more intuitions on Haskell type-level programming. 267 more words