| HasVars |   | 
| 1 (Type/Class) | Data.Comp.Multi.Variables | 
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching | 
| HDifunctor | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam, Data.Comp.MultiParam.Derive | 
| hdimap | Data.Comp.MultiParam.HDifunctor, Data.Comp.MultiParam | 
| hdimapM | Data.Comp.MultiParam.HDitraversable | 
| hdimapMCxt | Data.Comp.MultiParam.Term, Data.Comp.MultiParam | 
| HDitraversable | Data.Comp.MultiParam.HDitraversable | 
| HeadSymbolMismatch | Data.Comp.Unification | 
| headSymbolMismatch | Data.Comp.Unification | 
| height | Data.Comp.Generic, Data.Comp | 
| HEqF | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi | 
| heqF | Data.Comp.Multi.Derive, Data.Comp.Multi.Equality, Data.Comp.Multi | 
| heqMod | Data.Comp.Multi.Equality, Data.Comp.Multi | 
| hfmap | Data.Comp.Multi.Functor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi, Data.Comp.MultiParam | 
| hfmapCxt | Data.Comp.MultiParam.Term, Data.Comp.MultiParam | 
| hfold | Data.Comp.Multi.Foldable | 
| HFoldable | Data.Comp.Multi.Foldable, Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive | 
| hfoldl | Data.Comp.Multi.Foldable | 
| hfoldl1 | Data.Comp.Multi.Foldable | 
| hfoldMap | Data.Comp.Multi.Foldable | 
| hfoldr | Data.Comp.Multi.Foldable | 
| hfoldr1 | Data.Comp.Multi.Foldable | 
| HFunctor | Data.Comp.Multi.Functor, Data.Comp.MultiParam.HDifunctor, Data.Comp.Multi.Derive, Data.Comp.Multi, Data.Comp.MultiParam | 
| histo |   | 
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Function) | Data.Comp.Algebra, Data.Comp | 
| histoM |   | 
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Function) | Data.Comp.Algebra, Data.Comp | 
| hmapM | Data.Comp.Multi.Traversable, Data.Comp.MultiParam.HDitraversable | 
| Hole |   | 
| 1 (Type/Class) | Data.Comp.Param.Term, Data.Comp.Param | 
| 2 (Data Constructor) | Data.Comp.Param.Term, Data.Comp.Param | 
| 3 (Type/Class) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam | 
| 4 (Data Constructor) | Data.Comp.MultiParam.Term, Data.Comp.MultiParam | 
| 5 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi | 
| 6 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi | 
| 7 (Type/Class) | Data.Comp.Term, Data.Comp | 
| 8 (Data Constructor) | Data.Comp.Term, Data.Comp | 
| Hom |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam | 
| 3 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 4 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| hom |   | 
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Function) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam | 
| 3 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 4 (Function) | Data.Comp.Algebra, Data.Comp | 
| hom' |   | 
| 1 (Function) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam | 
| 2 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 3 (Function) | Data.Comp.Algebra, Data.Comp | 
| HomM |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam | 
| 3 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 4 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| homM |   | 
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Function) | Data.Comp.MultiParam.Algebra, Data.Comp.MultiParam | 
| 3 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi | 
| 4 (Function) | Data.Comp.Algebra, Data.Comp | 
| HomMD |   | 
| 1 (Type/Class) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Type/Class) | Data.Comp.Algebra, Data.Comp | 
| homMD |   | 
| 1 (Function) | Data.Comp.Param.Algebra, Data.Comp.Param | 
| 2 (Function) | Data.Comp.Algebra, Data.Comp | 
| HShowF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show | 
| hshowF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show | 
| hshowF' | Data.Comp.Multi.Derive, Data.Comp.Multi.Show | 
| htoList | Data.Comp.Multi.Foldable | 
| HTraversable | Data.Comp.Multi.Traversable, Data.Comp.MultiParam.HDitraversable, Data.Comp.Multi.Derive, Data.Comp.MultiParam.Derive | 
| htraverse | Data.Comp.Multi.Traversable, Data.Comp.MultiParam.HDitraversable |