in reply to @ 2016-27 15:26 UTCHaving a seperate package to add an instance seems reasonable to me if the instance should exist, but neither the package for the class nor the package for the type ought to depend on the other.
Just needs to be clearly documented that these other packages exist (on one of the before mentioned packages) and then it is effectively not an orphan. Not quite.