Documentation

Generalized prepromorphisms, parameterized by a comonad
This is used to generate most of the specialized prepromorphisms in other modules.
You can use the distributive law combinators to build up analogues of other recursion
schemes.