Re: [Haskell-cafe] typeclasses comprehension problems: situation classes?