Dependent types

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

>>38
Whom art thou quoting?
I never said that I will post my implementation.
Apparently though you are too stupid to look for one by yourself https://gist.github.com/ChristopherKing42/d8c9fde0869ec5c8feae71714e069214