[Haskell-cafe] Re: categories and monoids