Exhaustiveness Checking in Python Using Mypy | Dark Hacker News