> The type system, for example, does not help you when you have five Ints and you use the wrong one for an index and the output of the procedure is thereby comp

> The type system, for example, does not help you when you have five Ints and you use the wrong one for an index and the output of the procedure is thereby completely messed up at runtime. You could use newtype.