_interface_ TcExpr 1 _exports_ TcExpr tcExpr ; _declarations_ 1 tcExpr _:_ _forall_ [s] => RnHsSyn.RenamedHsExpr -> TcMonad.TcType -> TcMonad.TcM s (TcHsSyn.TcExpr, Inst.LIE) ;;