Writing list-related type hints