| MagicHash | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| manyName | Language.Haskell.TH.Syntax | 
| Match |  | 
| 1 (Type/Class) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| 2 (Data Constructor) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| match | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| MatchQ | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| maxPrecedence | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MDoE | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| mdoE |  | 
| 1 (Function) | Language.Haskell.TH.Lib.Internal | 
| 2 (Function) | Language.Haskell.TH.Lib, Language.Haskell.TH | 
| memcmp | Language.Haskell.TH.Syntax | 
| mkBytes | Language.Haskell.TH.Lib, Language.Haskell.TH | 
| mkModName | Language.Haskell.TH.Syntax | 
| mkName | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| mkNameG | Language.Haskell.TH.Syntax | 
| mkNameG_d | Language.Haskell.TH.Syntax | 
| mkNameG_tc | Language.Haskell.TH.Syntax | 
| mkNameG_v | Language.Haskell.TH.Syntax | 
| mkNameL | Language.Haskell.TH.Syntax | 
| mkNameS | Language.Haskell.TH.Syntax | 
| mkNameU | Language.Haskell.TH.Syntax | 
| mkOccName | Language.Haskell.TH.Syntax | 
| mkPkgName | Language.Haskell.TH.Syntax | 
| mk_tup_name | Language.Haskell.TH.Syntax | 
| ModName |  | 
| 1 (Type/Class) | Language.Haskell.TH.Syntax | 
| 2 (Data Constructor) | Language.Haskell.TH.Syntax | 
| modString | Language.Haskell.TH.Syntax | 
| Module |  | 
| 1 (Type/Class) | Language.Haskell.TH.Syntax | 
| 2 (Data Constructor) | Language.Haskell.TH.Syntax | 
| ModuleAnnotation | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| moduleAnnotation | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| ModuleInfo |  | 
| 1 (Type/Class) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| 2 (Data Constructor) | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MonadComprehensions | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MonadFailDesugaring | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MonoLocalBinds | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MonomorphismRestriction | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MonoPatBinds | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MulArrowT | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| mulArrowT | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| MultiIfE | Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| multiIfE | Language.Haskell.TH.Lib.Internal, Language.Haskell.TH.Lib, Language.Haskell.TH | 
| MultiParamTypeClasses | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH | 
| MultiWayIf | Language.Haskell.TH.LanguageExtensions, Language.Haskell.TH.Syntax, Language.Haskell.TH |