GHC.Tc.Gen.App
tcApp :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) #
tcInferSigma :: Bool -> LHsExpr GhcRn -> TcM TcSigmaType #
tcExprPrag :: HsPragE GhcRn -> HsPragE GhcTc #