how do you lift/do IO

An effects system without the ability to add the effect IO (yeah, all of it) isn't really that useful, is it?

Looking at the extensible-effects package it seems this gets us close:

https://hackage.haskell.org/package/extensible-effects-1.11.0.4/docs/Control-Eff-Lift.html

https://hackage.haskell.org/package/extensible-effects-1.11.0.4/docs/Control-Eff-Operational.html

How do I do that with freer?