うーん、それは Result を直交概念から独立させれば良いのでは派。 Foo<Result<T>> // エラーが起こり得る Foo<T> // エラーが起こり得ない