Eh, even outside the functional niche generic types are pretty mainstream these days. Eg people reasonably expect that their language's standard library offers a sorting function that can deal with any comparable items.

And once you have that kind of functionality, you need more than just what you described.

(And, no, Go's approach doesn't cut it. Their 'generic' sorting interface only works for in-place algorithms.)