| HAdjunction | Control.Functor.Adjunction.HigherOrder |
| hana | Control.Morphism.Ana |
| HasIdentity | Control.Bifunctor.Monoidal, Control.Bifunctor.Functor, Control.Bifunctor.Swap |
| hassociateComp | Control.Functor.HigherOrder.Composition |
| hbind | Control.Monad.HigherOrder |
| hcata | Control.Morphism.Cata |
| hcoassociateComp | Control.Functor.HigherOrder.Composition |
| HComonad | Control.Comonad.HigherOrder |
| hcompose | Control.Functor.HigherOrder.Composition |
| HComposition | Control.Functor.HigherOrder.Composition |
| HCopointed | Control.Functor.HigherOrder, Control.Comonad.HigherOrder |
| hcounit | Control.Functor.Adjunction.HigherOrder |
| hdecompose | Control.Functor.HigherOrder.Composition |
| hduplicate | Control.Comonad.HigherOrder |
| hextend | Control.Comonad.HigherOrder |
| hextract | Control.Functor.HigherOrder, Control.Comonad.HigherOrder |
| hfmap | Control.Functor.HigherOrder, Control.Comonad.HigherOrder, Control.Monad.HigherOrder |
| HFunctor | Control.Functor.HigherOrder, Control.Comonad.HigherOrder, Control.Monad.HigherOrder |
| hhylo | Control.Morphism.Hylo |
| histo | Control.Morphism.Histo |
| hjoin | Control.Monad.HigherOrder |
| hleftAdjunct | Control.Functor.Adjunction.HigherOrder |
| HMonad | Control.Monad.HigherOrder |
| HPointed | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
| hreturn | Control.Functor.HigherOrder, Control.Monad.HigherOrder |
| hrightAdjunct | Control.Functor.Adjunction.HigherOrder |
| hunit | Control.Functor.Adjunction.HigherOrder |
| hylo | Control.Morphism.Hylo |
| Hyp | Control.Monad.Hyper |
| Hyper | Control.Monad.Hyper |
| HyperB | |
| 1 (Type/Class) | Control.Monad.Hyper |
| 2 (Data Constructor) | Control.Monad.Hyper |