Avatar
理論上は() throws -> T の特殊な状態として () ->T があると定義できるので
4:10 AM
サブタイプ扱いにしてしまえばなんとかなるかな?と