A quick Google search brought up several tutorials of varying quality. This one seemed to be pretty good: http://en.literateprograms.org/Categoryata_structures.