redExp env (EAp e es)           = do e' <- redExp env e
                                     es' <- mapM (redExp env) es
                                     redApp env e' es'
redExp env (EAp e es)           = do e' <- redExp env e
                                     es' <- mapM (redExp env) es
                                     redApp env e' es'
redExp env (EAp e es)           = do e' <- redExp env e
                                     es' <- mapM (redExp env) es
                                     redApp env e' es'