Control.Monad.Freer.Coroutine
Yield Control
data
Yield
a b c
yield
Handle Yield Effect
data
Status
effs a b r
runC
interposeC
replyC