Python is a dynamic language so it's completely out of competition here. Types in the context of dependent types mean solely static types. Runtime "types" are

Python is a dynamic language so it's completely out of competition here. Types in the context of dependent types mean solely static types. Runtime "types" are not types at all. They're runtime values.