Writing set-related type hints