[Haskell-cafe] type class constraints headache