TcArrows
tcProc :: InPat GhcRn -> LHsCmdTop GhcRn -> ExpRhoType -> TcM (OutPat GhcTcId, LHsCmdTop GhcTcId, TcCoercion) Source #