[Haskell-cafe] To "instance C D", GHCI responds that C "is applied to too many type arguments".