multiple pattern vars:
x is defined at
as-pattern02.reject.lc:2:3:
f x@[x:xs] = x:xs
  ^
as-pattern02.reject.lc:2:6:
f x@[x:xs] = x:xs
     ^