|Portability||non-portable (rank-2 polymorphism)|
|Maintainer||Edward Kmett <firstname.lastname@example.org>|
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.