Comment by cgag

"This assumes you are familiar with Haskell typeclasses and basic category theory."

Where do I learn basic category theory? Anything better than just perusing wikipedia?