[Haskell-cafe] category theory tutorial pdfs .....