Abstract classes in hs-boot should not be treated as injective
They could be implemented by a newtype (see
mkClass), making them non-injective.
Fortunately, this doesn't seem to cause any unsoundness, because the *constructor* for the newtype corresponding to a class is never in scope, so we are never allowed to unwrap "class newtypes". Phew!
|Component||Compiler (Type checker)|