[Haskell-cafe] Do type classes have a partial order?