magicVoid | Data.Category.Void |
magicVoidO | Data.Category.Void |
magicZ | Data.Category.Discrete |
magicZO | Data.Category.Discrete |
mkAdjunction | Data.Category.Adjunction |
Monad | Data.Category.Kleisli |
MonoidA | |
1 (Type/Class) | Data.Category.Monoid |
2 (Data Constructor) | Data.Category.Monoid |
MonoidO | Data.Category.Monoid |