日本語に訳しているときに僕も初めて知りました。boxed protocol typesというワードを使っている人見たことないですねw