redRhs env (ELam te e)          = do e <- redRhs (addArgs env (dom te)) e
                                     return (ELam te e)
redRhs env (ELam te e)          = do e <- redRhs (addArgs env (dom te)) e
                                     return (ELam te e)
redRhs env (ELam te e)          = do e <- redRhs (addArgs env (dom te)) e
                                     return (ELam te e)