throw に対する Result 、 async に対する Future とすると、標準ライブラリでは Future は Failure を持たないという設計も考えられる。