Index - M
| MapData | Covenant.Prim |
| mkBaseFunctor | Covenant.Data |
| mkBBF | Covenant.Data |
| MkCons | Covenant.Prim |
| mkDatatypeInfo | Covenant.Data |
| MkPairData | Covenant.Prim |
| mlResultT | Covenant.Type |
| ModInteger | Covenant.Prim |
| MonadHashCons | Control.Monad.HashCons |
| MonadUpdate | Control.Monad.Action |
| MultiplyInteger | Covenant.Prim |