type redundancy