Index - M
| m3Desc | Refined3 |
| m3Long | Refined3 |
| m3Short | Refined3 |
| MakeR3 | Refined3 |
| MakeRR | Predicate |
| MakeRR1 | Predicate |
| MakeRR2 | Predicate |
| MakeRR3 | Predicate |
| Map | Predicate |
| MapMaybe | Predicate |
| MapT | UtilP, Predicate |
| Max | Predicate |
| Max' | Predicate |
| MaybeB | Predicate |
| MaybeIn | Predicate |
| MaybeX | Predicate |
| MaybeXP | Predicate |
| MaybeXPT | Predicate |
| MConcat | Predicate |
| MEmptyP | Predicate |
| MEmptyProxy | Predicate |
| MEmptyT | Predicate |
| MEmptyT' | Predicate |
| MEmptyT2 | Predicate |
| MEmptyT2' | Predicate |
| Min | Predicate |
| Min' | Predicate |
| MkDay | Predicate |
| MkDay' | Predicate |
| MkJust | Predicate |
| MkLeft | Predicate |
| MkLeft' | Predicate |
| mkNode | UtilP, Predicate |
| mkNodeB | UtilP, Predicate |
| MkNothing | Predicate |
| MkNothing' | Predicate |
| MkProxy | Predicate |
| mkProxy3 | Refined3 |
| mkProxy3P | Refined3 |
| MkProxy3T | Refined3 |
| MkRight | Predicate |
| MkRight' | Predicate |
| MkThat | Predicate |
| MkThat' | Predicate |
| MkThese | Predicate |
| MkThis | Predicate |
| MkThis' | Predicate |
| Mod | Predicate |
| Mod' | Predicate |
| MonadEval | UtilP, Predicate |
| Msg | PredicateCore, Predicate |
| Msg' | Predicate |
| Msg3 | |
| 1 (Type/Class) | Refined3 |
| 2 (Data Constructor) | Refined3 |
| Mult | Predicate |
| Multiline | UtilP, Predicate |