tarunon 11/9/2017 4:10 AM

理論上は() throws -> T の特殊な状態として () ->T があると定義できるので

4:10 AM

サブタイプ扱いにしてしまえばなんとかなるかな?と