亀の歩みですが、ざっくり型推論ができました☀️

左：変換前

右：変換後