In differential geometry, the tangent space is defined as a generalization of directional derivatives, which in turn are defined as functionals following Leibniz's product rule.

I understand all the proofs, but what is the intuition behind choosing the product rule to capture the notion of derivatives, rather than any other property?