:set -XTemplateHaskell
Language.Haskell.TH.runQ [d| instance Monad ((,) a) where { return  = undefined; (>>=) = undefined } |]