yield package:extensible-effects
Yield a value of type a and suspend the coroutine.
Co-routines The interface is intentionally chosen to be the same as in
transf.hs
| The yield request: reporting a value of type e and suspending the
coroutine. Resuming with the value of type b