Index - M
| m3Desc | Refined3 |
| m3Long | Refined3 |
| m3Short | Refined3 |
| MakeR3 | Refined3 |
| MakeRR | Predicate |
| MakeRR1 | Predicate |
| MakeRR2 | Predicate |
| MakeRR3 | Predicate |
| Map | Predicate |
| MapMaybe | Predicate |
| MapT | UtilP |
| MapTX | 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 |
| MkJust | Predicate |
| MkLeft | Predicate |
| MkLeft' | Predicate |
| mkNode | UtilP |
| mkNodeB | UtilP |
| MkNothing | 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 |
| Msg | Predicate |
| Msg' | Predicate |
| Msg3 | |
| 1 (Type/Class) | Refined3 |
| 2 (Data Constructor) | Refined3 |
| Mult | Predicate |
| Multiline | UtilP |