| many | Control.Category.Hask |
| map | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mapAndUnzipM | Control.Category.Hask |
| mapEither | Control.Functor.Constrained, Control.Applicative.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mapM | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Traversable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mapM_ | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Data.Foldable.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| mappend | Control.Category.Hask, Control.Category.Constrained.Prelude |
| match_attachUnit | Control.Category.Constrained.Reified.PolyPattern |
| match_compose | Control.Category.Constrained.Reified.PolyPattern |
| match_concrete | Control.Category.Constrained.Reified.PolyPattern |
| match_const | Control.Category.Constrained.Reified.PolyPattern |
| match_detachUnit | Control.Category.Constrained.Reified.PolyPattern |
| match_fan | Control.Category.Constrained.Reified.PolyPattern |
| match_fst | Control.Category.Constrained.Reified.PolyPattern |
| match_id | Control.Category.Constrained.Reified.PolyPattern |
| match_par | Control.Category.Constrained.Reified.PolyPattern |
| match_regroup | Control.Category.Constrained.Reified.PolyPattern |
| match_regroup' | Control.Category.Constrained.Reified.PolyPattern |
| match_snd | Control.Category.Constrained.Reified.PolyPattern |
| match_swap | Control.Category.Constrained.Reified.PolyPattern |
| match_terminal | Control.Category.Constrained.Reified.PolyPattern |
| max | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maxBound | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maximum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Maybe | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maybe | Control.Category.Hask, Control.Category.Constrained.Prelude |
| maybeAsSum | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| maybeFromSum | Control.Category.Constrained, Control.Category.Constrained.Prelude |
| mconcat | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mempty | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mfilter | Control.Category.Hask |
| min | Control.Category.Hask, Control.Category.Constrained.Prelude |
| minBound | Control.Category.Hask, Control.Category.Constrained.Prelude |
| minimum | Control.Category.Hask, Control.Category.Constrained.Prelude |
| mod | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Monad | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MonadFail | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MonadPlus | |
| 1 (Type/Class) | Control.Category.Hask |
| 2 (Type/Class) | Control.Monad.Constrained |
| MonadZero | Control.Monad.Constrained |
| Monoid | Control.Category.Hask, Control.Category.Constrained.Prelude |
| Monoidal | Control.Applicative.Constrained, Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| MorphChoice | Control.Arrow.Constrained |
| Morphism | Control.Arrow.Constrained |
| MorphismAttachUnit | Control.Category.Constrained.Reified |
| MorphismCompo | Control.Category.Constrained.Reified |
| MorphismDetachUnit | Control.Category.Constrained.Reified |
| MorphismId | Control.Category.Constrained.Reified |
| MorphismPar | Control.Category.Constrained.Reified |
| MorphismRegroup | Control.Category.Constrained.Reified |
| MorphismRegroup_ | Control.Category.Constrained.Reified |
| MorphismSwap | Control.Category.Constrained.Reified |
| MorphObjects | Control.Category.Constrained, Control.Category.Constrained.Prelude, Control.Category.Constrained.Prelude |
| mplus | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |
| msum | Control.Category.Hask |
| mzero | |
| 1 (Function) | Control.Category.Hask |
| 2 (Function) | Control.Monad.Constrained, Control.Category.Constrained.Prelude |