phantom-types
Phantom types for Python.
Create types that respect the invariant. "Parse, don't validate"