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