Fun With Mypy: Reifying Runtime Relations on Types

This post describes how to implement a safer version of typing.cast which guarantees a cast type is also an appropriate sub-type.