たしかに型推論は難しくなるけど、もうすでにResult Builderで同等のものが入ってるから、問題ないはずですね。Result Builderのときにone-way constraintが発明されたから、そういう意味ではそこは技術進歩で解決してる。