型推論って便利か?