@@ -189,6 +189,9 @@ runEnv env prog = eff env prog (\env, r => pure (env, r))
189189runPure : Env id xs -> EffM id xs xs' a -> a
190190runPure env prog = eff env prog (\env, r => r)
191191
192+runPureEnv : Env id xs -> EffM id xs xs' a -> (Env id xs', a)
193+runPureEnv env prog = eff env prog (\env, r => (env, r))
194+
192195runWith : (a -> m a) -> Env m xs -> EffM m xs xs' a -> m a
193196runWith inj env prog = eff env prog (\env, r => inj r)
194197