[Haskell-beginners] Understanding category theory