1 2 3 4 5 6 7 8
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 ^