[Haskell-cafe] Shooting your self in the foot with Haskell

[Simon Richard Clarkstone]

John Van Enk wrote:
> "You shoot the gun, but the bullet gets trapped in the IO monad."

The community points you at the paper "Bang-bang-patterns: expressing 
lethal weaponry in the Haskell typesystem".  Your head explodes.

BTW, these could go on the wiki.

-- 
src/
-XIncomprehensibleTypes  Equivalent to all of:
     -fallow-inconvinient-types, -XOmnipotentInstances, -XFunkyFunctors,
     -XSuperTuringTypes, -XErraticTypeClasses, -XCoAntiRetroHyperArrows