The "redundancy" is that there are also functions/forms that work on specific sequence types. It would be surprising if there weren't because if two data types have exactly the same set of operations, one of them may be unnecessary.