If you follow the train of this thread, you're now arguing against type inference by sighting an example from the canonical type-inferred language.