Control.Monad.Operational

data CoYoneda f x

liftCoYoneda

data Free f r

liftF

data Program f a

singleton

interpret