Dependent types

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

>>10

You're still going to have a conditional branch in the machine code.

Yes, did anyone tell you otherwise?
The point is that the compiler will tell you if you forget said conditional (due to the types not matching), dumbfuck.