例外の有無で型を分けずに、エラーの型パラメータをもつようにしてバリアントを減らす

Never で潰すってこと？複数のエラー型に対応するときは Error で埋めればいいからできるか。将来的に Typed Throws が入る可能性あるならそっちの方がいいかも。