[Haskell-cafe] Why monoids will abide...