Control.Monad.Freer.Coroutine
data
Yield
a b v
yield
data
Status
r a b
runC