Control.Quiver.SP

type SQ a b f r

type SP a b f e

type SProducer b f e

type SConsumer a f e

type SEffect f e

type SPResult e

spcomplete

spfailed

spincomplete

spfetch

spemit

(>:>)

(>>?)

(>>!)

sppure

spid

spconcat

spfold

spfold'

spfoldl

spfoldl'

spfoldr

spfoldr'

sptraverse

sptraverse_

spevery

sprun