Control.Monad.Free.VanLaarhovenE
(.:.)
data Effects a m
data Free effects a
class HasEffect effects effect
iterM
liftF