« Une astuce combinant la surcharge (overload) et les types litéraux pour définir des types dépendants en python. À noter que l'astuce est sympa à comprendre et à essayer, mais je ne sais pas si c'est un pattern établi -- la documentation d'overload dans mypy ne mentionne pas son usage avec les types litéraux. »