yield package:freer-simple
Lifts a value and a function into the Coroutine effect.
A type representing a yielding of control.
Type variables have following meaning:
- a The current type.
- b The input to the continuation function.
- c The output of the continuation.