そうすると型推論の遅い型を追記してくれるエクステンションは作れないか…