[Haskell-beginners] Why is this not a "category"?