eilenbergMooreAdj | Data.Category.Dialg |
Endo | Data.Category.NaturalTransformation |
EndoHask | |
1 (Data Constructor) | Data.Category.Functor |
2 (Type/Class) | Data.Category.Functor |
ExpFunctor | |
1 (Data Constructor) | Data.Category.CartesianClosed |
2 (Type/Class) | Data.Category.CartesianClosed |
Exponential | Data.Category.CartesianClosed |