Haskell type-checker can be Turing-complete in some configurations: http://t.co/awf3hXZ8bC