I agree with your point of view, and enjoyed reading this. It seems to me that the idea of the tangent bundle in differential geometry is to "get the types right" for derivatives. It's striking to see the use of logical concepts such as exchange, weakening, and currying in the formulation of the tangent bundle.