Dark, unsound corners of the Haskell type system: http://t.co/9JrcMtQ4co