> The counter for this argument is that we can always specialize the code for our needs, right? Except… that this isn’t something that happens.

This feels like a weird assertion, especially when immediately followed by an example where such manual specialization happens