27 Dec
2009
27 Dec
'09
9:07 a.m.
On Sat, Dec 26, 2009 at 06:12:00PM +0100, Maciej Piechotka wrote:
On Fri, 2009-12-25 at 21:10 -0500, Brent Yorgey wrote:
There is such a class in the category-extras package, although it is so general that it is probably not worth the effort of trying to understand it unless you really need the extra abstraction.
-Brent
For the record - what is the name of it? I tried to search through category-extras twice.
Control.Functor.Bifunctor. It took me a while to find it, too (I've had to re-find it several times); I didn't actually say where to find it in my first email because I knew it would take me a long time. Unfortunately, coherent organization is not among category-extras' strengths. ;-) -Brent