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.