Exhaustiveness Checking in Python Using Mypy

At the time of writing, Django's enumeration types are as of Django 3.0. The article says 3.1