Exhaustiveness Checking with Mypy (hakibenita.com) 3 points by nedf in: mypy 1 month, 2 weeks ago | discuss