型推論にメリットがない