Utility for enforcing type-system establish invariants at runtime - View it on GitHub