Algebra.Functor

class Functor f

class Cofunctor f

class Bifunctor p

class Commutative f

class Contravariant t

data Strict a

data Id a

data Const a b

data Flip f a b

data (f :.: g) a

data (f :**: g) a

data (f :++: g) a

data Increasing k a

emerge

flip

project

factor

(<$>)

(|||)

(<$)

(<&>)

void

left

right

promap

map2

map3