I think there is a big difference in what we type-check. The interfaces of public methods should be declared and type-checked. What happens inside a function no

I think there is a big difference in what we type-check. The interfaces of public methods should be declared and type-checked. What happens inside a function not so much.