Control.Functor.Extras
type Dist f g
type f :~> g
type Natural f g
type f :~~> g
type Dinatural f g
class PostFold m f
class PostUnfold w f
class PreFold f m
class PreUnfold f w
class Distributes f g
class FunctorZero f
class FunctorPlus f
class FunctorSplit f