Fun with mypy: reifying runtime relations on types

4 points by jevinskie