[Haskell-cafe] Correction: subclasses and classes with same type in instance