It's not a restriction born out of purity, notably uncompromising Haskell allows orphan instances.