CORRECT type hints