そういう意味では Typed Throws は良い塩梅なんじゃないですか？ tagged と等価だけど throws Never は消える。