On Mon, 2008-02-25 at 12:27 -0800, Dan Weston wrote: > Has anyone already ported to Haskell the ML code in Rydeheard and > Burstall, "Computational Category Theory"? This isn't very helpful, but I did several years ago, but I've since lost the code. It's straightforward if tedious to do.