ResultBuilderを挟むと推論が通る気がする