> I have to admit I really like Haskell and I think its great for studying category theory. Equational reasoning in Haskell is quite common in research papers.

Sounds good! I'm glad to try on some new glasses.