Control.Monad.Coroutine
data Coroutine s m r
type CoroutineStepResult s m r
suspend
mapMonad
mapSuspension
mapFirstSuspension
data Naught x
runCoroutine
bounce
pogoStick
pogoStickM
foldRun
type PairBinder m
sequentialBinder
parallelBinder
liftBinder
type Weaver s1 s2 s3 m x y z
type WeaveStepper s1 s2 s3 m x y z
weave
merge