[Python-ideas] Lazy Type Casting