PEP 827 would bring TypeScript-style conditional and mapped types to Python. Which means every type checker suddenly has to evaluate a small functional language at the type level. Basilisk has a clean Rust core and no legacy. Sounds like a challenge