| HBifunctor | Data.HBifunctor, Data.Functor.Combinator |
| hbimap | Data.HBifunctor, Data.Functor.Combinator |
| HBind | Data.HFunctor |
| hbind | Data.HFunctor |
| HFree | Data.HFunctor, Data.Functor.Combinator |
| HFunctor | Data.HFunctor, Data.Functor.Combinator |
| HJoin | Data.HFunctor, Data.Functor.Combinator |
| hjoin | Data.HFunctor |
| hleft | Data.HBifunctor, Data.Functor.Combinator |
| HLift | Data.HFunctor, Data.Functor.Combinator |
| hmap | Data.HFunctor, Data.Functor.Combinator |
| hoistDec | Data.Functor.Contravariant.Divisible.Free |
| hoistDec1 | Data.Functor.Contravariant.Divisible.Free |
| hoistDiv | Data.Functor.Contravariant.Divisible.Free |
| hoistDiv1 | Data.Functor.Contravariant.Divisible.Free |
| hoistFinalC | Data.HFunctor.Final |
| hoistFree | Control.Monad.Freer.Church |
| hoistFree1 | Control.Monad.Freer.Church |
| HOther | Data.HFunctor, Data.Functor.Combinator |
| HPure | Data.HFunctor, Data.Functor.Combinator |
| HReturn | Data.HFunctor, Data.Functor.Combinator |
| hright | Data.HBifunctor, Data.Functor.Combinator |