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

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