You might find Burstall and Rydeheard's book useful -- they implement much of category theory in Standard ML. It's published by Prentice Hall, in the series edited by Tony Hoare. -- P