Searching protocol for "type-erasure"
Fix Python type errors safely
Zero-cost C++ polymorphism for high performance