redEta env te e                 = liftM (ELam te) (redExp (addArgs env (dom te)) e)
redEta env te e                 = liftM (ELam te) (redExp (addArgs env (dom te)) e)
redEta env te e                 = liftM (ELam te) (redExp (addArgs env (dom te)) e)