> Dependent types are very useful for some things. For example, I wish Python had the ability to express "a 10 x 5 matrix of float32s" as a type, and typecheck that.

What do you mean? Every class is a type, so create your own class and control what goes in.