Dependent types

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

>>44
It would complain that the type of the array is something like Vect n Int while the head function requires a value of type Vect (n + 1) Int

C++ version with setters/getters on protected boxed value would work fine at runtime

The issue is that the compiler will not warn you if you forget or mis-implement said getters/setters. See >>24