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?