Why is a value with an explicit type annotation generalized here?

Question

I\'m getting a VR error on a let binding on module scope saying one of its parameters is a generic, but I don\'t know why that parameter is generic in the first place. This