You don't need a type system to do this. Generic operators/functions and composite structures are sufficient and more flexible. Some languages let you encode th

You don't need a type system to do this. Generic operators/functions and composite structures are sufficient and more flexible. Some languages let you encode this in type systems as well, but that's an orthogonal feature.