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