Python does not have dependent types, unfortunately.

I find that super frustrating at times. I mean, one cannot even properly type the identity function...