Confusion regarding generic type function definition inside of another function

I see. While I can accept it for what it is, it still feels really inconsistent. I would expect the global scope function with 'a to not having polymorphism unless explicitly stated as well.