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!!
List Intwould generally describe all lists in a given program that have items in that list that are integers
List 3 Intwhich would no longer represent any List that has Int values, but only List’s that have a length of 3 and are integers.