the stubs can only do so much. There's so much magic and inferred properties that a type checker will never be able to fill in alone