I’ve been reading about the renaming of pre-existing types using the haskell’s type and, as much as I could understand, the type is only used for renaming concrete types, like Int, Integer, Char, Double, etc. So it is not used for renaming typeclasses, like Eq, Integral, Ord, etc. (Again, this is just as much, as I could understand, I don’t have 100% certainty if I am correct)