てことは型推論方式が変わればワンチャンあるのか