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

>>13
This is what a /g/rotard looks when they try to learn the local memes.