Haskell has both. You can have type synonyms that are not distinct to the original type according to the compiler and new types that are distinct to the origina

Haskell has both. You can have type synonyms that are not distinct to the original type according to the compiler and new types that are distinct to the original that doesn't even 'inherit' all the type classes of the original type. You have to specifically instantiate all the type classes you need.