Control.Quiver.SP

type SQ a b f r

type SP a b f e

type SPResult e

spfetch

spemit

(>:>)

(>>!)

sppure

spid

spconcat

spfold

spfold'

spfoldl

spfoldl'

spfoldr

spfoldr'