そうですね。パッケージングと unpackage + メソッド呼び出しに関しては Existential ではないかのように暗黙に実現されているのであれば、現状は中途半端で、その方針で突き進めたら普通に準拠してる扱いで良さそうだし、便利なのでは？と思います。