Index
| Cxt | Data.Comp.Term |
| EqH | Data.Comp.Equality |
| eqH | Data.Comp.Equality |
| evalFresh | Control.Monad.Trans.Fresh |
| evalFreshT | Control.Monad.Trans.Fresh |
| Fresh | Control.Monad.Trans.Fresh |
| FreshT | Control.Monad.Trans.Fresh |
| Hole | Data.Comp.Term |
| In | Data.Comp.Term |
| Name | Control.Monad.Trans.Fresh |
| PEq | Data.Comp.Equality |
| peq | Data.Comp.Equality |
| ShowH | Data.Comp.Show |
| showH | Data.Comp.Show |
| Term | |
| 1 (Type/Class) | Data.Comp.Term |
| 2 (Data Constructor) | Data.Comp.Term |
| toCxt | Data.Comp.Term |
| Trm | Data.Comp.Term |
| unTerm | Data.Comp.Term |
| Var | Data.Comp.Term |
| withName | Control.Monad.Trans.Fresh |