yes, either fix

run_goal_rule()

(which could be a can of worms because it requires other annotations), or use

cast()

. I default to

cast()

to be able to keep type hints PRs well scoped. MyPy has a great feature that it will tell you when you have redudant casts, so if someone annotated

run_goal_rule()

next week, they’d know to remove your

cast()