Beartype is an open-source PEP-compliant near-real-time pure-Python runtime
type checker emphasizing efficiency, usability, and thrilling puns.