Optionalのサブタイプが辛いのは、ネストする性質によるところがかなり強いので

5:42 AM

ネストが発生すると、map { $0 as T } / some(T) の優先順位を定義しなければいけなくなる (edited)

5:43 AM

この問題はResultがサブタイプ関係を認めたと仮定すると発生するし、現行のthrowsでは発生しない