What would the problem be? If you use `any`, any code that touches that value can no longer be properly type checked. The type of x is `(p: any) => any` (if p i

What would the problem be? If you use `any`, any code that touches that value can no longer be properly type checked. The type of x is `(p: any) => any` (if p is a string, p + 1 will return a string as well), so it can be assigned to y just fine - at least as far as the type annotations are concerned.