Error found:
in module OverlappingBinders
at tests/purs/failing/OverlappingBinders.purs:8:7 - 9:28 (line 8, column 7 - line 9, column 28)

  Overlapping names in function/binder

while inferring the type of \x ->                      
                              case x of                
                                (S y (S y@S z zs)) -> y
in value declaration f

See https://github.com/purescript/documentation/blob/master/errors/OverlappingArgNames.md for more information,
or to contribute content related to this error.