Duplicate Pattern Binding

The same identifier was bound more than once in a single pattern. Each name in a pattern must be unique, as binding the same variable to two different values is ambiguous.