Types, types, types we are really trying to get our head around parametric types, and then take that the extra step to dependent types. Keeping in mind, that a type, is just a set of values, not some over whelming academic secret conspiracy to keep you in the dark. (that last part was directed at myself) Then we end up having an epiphany!!