But classes in the traditional OOP sense are types of values, while Haskell typeclasses are types of types. There is no opportunity for confusion.