To me, generic programming implies preserving all type information, which is something the above Go container does not do (when you get an element out of the co

To me, generic programming implies preserving all type information, which is something the above Go container does not do (when you get an element out of the container, you cannot tell statically what type it is). Templates are generic, but so is, e.g. the type inference used in functional languages.