checkExpr :: P.Expr -> ModuleCmd (P.Expr,T.Expr,T.Schema)
checkExpr e env = runModuleM env (interactive (Base.checkExpr e))
checkExpr :: P.Expr -> ModuleCmd (P.Expr,T.Expr,T.Schema)
checkExpr e env = runModuleM env (interactive (Base.checkExpr e))
checkExpr e env = runModuleM env (interactive (Base.checkExpr e))