型推論とかいらなくね?
何でそんなのが必要なの?