( HsExpr(..), HsLit(..), ArithSeqInfo(..),
HsStmtContext(..),
Match(..), GRHSs(..), GRHS(..), HsPred(..),
- HsDecl(..), InstDecl(..), ConDecl(..),
+ HsDecl(..), TyClDecl(..), InstDecl(..), ConDecl(..),
Stmt(..), HsBinds(..), MonoBinds(..), Sig(..),
Pat(..), HsConDetails(..), HsOverLit, BangType(..),
placeHolderType, HsType(..), HsTupCon(..),
-- Warning: if Q is anything other than IO, we need to change this
tcRunQ :: Meta.Q a -> TcM a
-tcRunQ thing = ioToTcRn thing
+tcRunQ (Meta.Q thing) = ioToTcRn thing
runMeta :: TypecheckedHsExpr -- Of type X