| ++ | Data.HTree.Families | 
| ::: | Data.HTree.List, Data.HTree | 
| All | Data.HTree.Families | 
| AllC | Data.HTree.Families | 
| AllForest | Data.HTree.Tree | 
| AllInv | Data.HTree.Families | 
| allTopHForest | Data.HTree.Tree | 
| allTopHList | Data.HTree.List | 
| allTopHTree | Data.HTree.Tree | 
| AllTree | Data.HTree.Tree | 
| AllTreeC | Data.HTree.Tree | 
| AnyElem | Data.HTree.Labeled | 
| BFS | Data.HTree.Labeled | 
| Both | Data.HTree.Families | 
| Charge | Data.HTree.Constraint | 
| Constraint | Data.HTree | 
| Decide | Data.HTree.Labeled | 
| Deeper | Data.HTree.Tree | 
| DFS | Data.HTree.Labeled | 
| Dict |   | 
| 1 (Type/Class) | Data.HTree.Constraint, Data.HTree | 
| 2 (Data Constructor) | Data.HTree.Constraint, Data.HTree | 
| Elem | Data.HTree.Labeled | 
| EList | Data.HTree.Existential | 
| ETree | Data.HTree.Existential | 
| evidence | Data.HTree.Labeled | 
| evidence' | Data.HTree.Labeled | 
| Farther | Data.HTree.Tree | 
| FlattenForest | Data.HTree.Tree, Data.HTree | 
| FlattenTree | Data.HTree.Tree, Data.HTree | 
| flipHas | Data.HTree.Existential | 
| ForestMap | Data.HTree.Tree | 
| getElem | Data.HTree.Labeled, Data.HTree | 
| getElem' | Data.HTree.Labeled | 
| getElemWithPath | Data.HTree.Labeled | 
| getField | Data.HTree.Labeled, Data.HTree | 
| Has | Data.HTree.Constraint, Data.HTree.Existential | 
| HasField | Data.HTree.Labeled, Data.HTree | 
| HasField' | Data.HTree.Labeled | 
| HasIs | Data.HTree.Constraint, Data.HTree.Existential | 
| HasTypeable | Data.HTree.Constraint, Data.HTree.Existential | 
| hcFold | Data.HTree.List | 
| hcFoldEHList | Data.HTree.Existential | 
| hcFoldMap | Data.HTree.Tree, Data.HTree | 
| hcFoldMapEHTree | Data.HTree.Existential | 
| hcmap |   | 
| 1 (Function) | Data.HTree.List | 
| 2 (Function) | Data.HTree.Tree, Data.HTree | 
| hconcat | Data.HTree.List | 
| HCons | Data.HTree.List, Data.HTree | 
| hctraverse |   | 
| 1 (Function) | Data.HTree.List | 
| 2 (Function) | Data.HTree.Tree, Data.HTree | 
| Here | Data.HTree.Tree | 
| hFlatten | Data.HTree.Tree, Data.HTree | 
| hFoldMap | Data.HTree.Tree, Data.HTree | 
| HForest | Data.HTree.Tree | 
| HLeaf | Data.HTree.Tree, Data.HTree | 
| HLeafL | Data.HTree.Labeled | 
| HList | Data.HTree.List, Data.HTree | 
| hmap |   | 
| 1 (Function) | Data.HTree.List | 
| 2 (Function) | Data.HTree.Tree, Data.HTree | 
| HNil | Data.HTree.List, Data.HTree | 
| HNode | Data.HTree.Tree, Data.HTree | 
| HNodeL | Data.HTree.Labeled, Data.HTree | 
| HSing | Data.HTree.List, Data.HTree | 
| htraverse |   | 
| 1 (Function) | Data.HTree.List | 
| 2 (Function) | Data.HTree.Tree, Data.HTree | 
| HTree | Data.HTree.Tree, Data.HTree | 
| Labeled | Data.HTree.Labeled, Data.HTree | 
| MkLabeled | Data.HTree.Labeled, Data.HTree | 
| MkSome | Data.HTree.Existential | 
| MkSome2 | Data.HTree.Existential | 
| Not | Data.HTree.Families | 
| Path | Data.HTree.Tree | 
| prodHas | Data.HTree.Existential | 
| Proves | Data.HTree.Constraint, Data.HTree.Existential | 
| proves | Data.HTree.Constraint | 
| Proxy |   | 
| 1 (Type/Class) | Data.HTree.Labeled, Data.HTree | 
| 2 (Data Constructor) | Data.HTree.Labeled, Data.HTree | 
| replaceAt | Data.HTree.Tree | 
| SearchStrategy | Data.HTree.Labeled | 
| Some | Data.HTree.Existential | 
| Some2 | Data.HTree.Existential | 
| Top | Data.HTree.Families | 
| TreeMap | Data.HTree.Tree | 
| TyForest | Data.HTree.Tree | 
| TyNode | Data.HTree.Tree, Data.HTree | 
| TyNodeL | Data.HTree.Labeled, Data.HTree | 
| Type | Data.HTree | 
| TyTree | Data.HTree.Tree, Data.HTree | 
| unLabel | Data.HTree.Labeled, Data.HTree | 
| with | Data.HTree.Existential | 
| with2 | Data.HTree.Existential | 
| withDict | Data.HTree.Constraint, Data.HTree | 
| withProves | Data.HTree.Existential | 
| withSomeHList | Data.HTree.Existential | 
| withSomeHTree | Data.HTree.Existential | 
| || | Data.HTree.Families |