lift env (LForce e) = do e' <- lift env e
                         return (LForce e')
lift env (LForce e) = do e' <- lift env e
                         return (LForce e')
lift env (LForce e) = do e' <- lift env e
                         return (LForce e')