This conference talk from Lambda Days 2024 explores the concept of a Python dialect that integrates dependent types with Python's existing features. Discover how functional and object-oriented programming paradigms could coexist in a language where the type system becomes a powerful ally rather than a constraint. Andor Pénzes, in collaboration with Thorsten Altenkirch, presents their vision for a language designed to deliver an exceptional developer experience by seamlessly incorporating cutting-edge type theory advancements. Learn about the potential challenges of implementing dependent types in a dynamically typed language and explore this fascinating parallel universe that could represent the future of programming. The presentation offers a window into how Python could evolve to embrace more sophisticated type systems while maintaining its user-friendly nature.