Writing dictionary-related type hints