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