A 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.
The ideas from this project have been spread out among dozens of other Haskell projects, mostly by the same author, that are each smaller, more targeted and less difficult bring yourself to depend upon.
These details are provided for information only. No information here is legal advice and should not be used as such.