この形の型推論は未実装か実装予定なしなのかわからないけど今のところできませんね（Result<Int, E>にならない） https://x.com/masakihori/status/1781246047978926222