lift env (LOp f args) = do args' <- mapM (lift env) args
                           return (LOp f args')
lift env (LOp f args) = do args' <- mapM (lift env) args
                           return (LOp f args')
lift env (LOp f args) = do args' <- mapM (lift env) args
                           return (LOp f args')