Control.Quiver.SP
type SP a b f r
type SPResult e
spfetch
sppure
spid
spconcat
spfold
spfoldl
spfoldr