You're right. This sentence and the general syntax of the language mislead me

> Genericity means that functions do not have to declare argument and return value types, which makes them highly reusable.

Thanks for being kind about pointing out my massive presupposition