type hints are the cool new thing, all the cool kids are doing them, we should have type hints
type hints are the cool new thing, all the cool kids are doing them, we should have type hints