type checking is starting to do something

Test plan: none