Haskell can't prove shit

Its type system is unsound and self-contradictory, as proven by Oleg Kiselyov himself. Rekt, bitches! Go back to writing C and Lithp.

http://okmij.org/ftp/Haskell/impredicativity-bites.html