Category-theory is a project mainly written in Haskell, it's free.
Natural transformations in Haskell
Author: Geoff Hulette ([email protected])
A simple typeclass for natural transformations in Haskell. It doesn't really do anything, but it illustrates the concept.