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