purescript-0.5.6: examples/failing/OverlappingBinders.purs

module OverlappingBinders where

f x = case x of
  (y:y@(z:zs)) -> y