Portability | non-portable (rank-2 polymorphism) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

hbuild :: (HFunctor f, Functor c) => (forall x. HAlgebra f x -> c :~> x) -> c :~> FixH fSource

`forall h g. hcata h . hbuild g = g h`

cannot be realized as a RULE because
h and g are not monotypes.
Kan extended build, gbuild in Ghani/Johann parlance, but g_foo currently denotes
generalized in the 'has a parameterizing (co)monad' sense.