Every statically-typed language needs generics to allow a function to be used with more than one type. Otherwise you throw away most of the type info and end up

Every statically-typed language needs generics to allow a function to be used with more than one type. Otherwise you throw away most of the type info and end up with the same problems dynamically-typed languages have.