Types are the dual of Functions. You could create very many functions which differ just a bit, or you could create functions which take arguments/parameters and

Types are the dual of Functions. You could create very many functions which differ just a bit, or you could create functions which take arguments/parameters and do with a smaller set of functions. So how about using generic (=parameterized) types? Isn't that the answer?