redExp env (ELam te e)          = do e <- redExp (addArgs env (dom te)) e
                                     redEta env te e
redExp env (ELam te e)          = do e <- redExp (addArgs env (dom te)) e
                                     redEta env te e
redExp env (ELam te e)          = do e <- redExp (addArgs env (dom te)) e
                                     redEta env te e