[klodolph]

Exactly—Haskell’s type checker can be made Turing-complete, but that won’t make it much like Prolog.