Index - M
| mapW | Control.Comonad |
| meta | Control.Morphism.Meta |
| modifyC | Control.Comonad.Context.Class |
| modifySupply | Control.Comonad.Supply |
| Monoidal | Control.Bifunctor.Monoidal |
category-extras-0.44.1: Various modules and constructs inspired by category theory.