A vastly expanded collection of modules implementing various
ideas from category theory. Notable bits include: comonads,
adjunctions, functor fixedpoints and various recursion
operaters ala /Functional Programming with Bananas, Lenses,
Envelopes and Barbed Wire/.
|