Nice! I would add assert_never to the pattern matching section for exhaustiveness checks: https://typing.python.org/en/latest/guides/unreachable.html#assert-ne

Nice! I would add assert_never to the pattern matching section for exhaustiveness checks: https://typing.python.org/en/latest/guides/unreachable.html#assert-never-and-exhaustiveness-checking https://typing.python.org/en/latest/guides/unreachable.html#...