redApp env (ELet bs e) es       = liftM (ELet bs) (redApp env e es)
redApp env (ELet bs e) es       = liftM (ELet bs) (redApp env e es)
redApp env (ELet bs e) es       = liftM (ELet bs) (redApp env e es)