Index - M
| 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 |