[Haskell] Re: Context of a pattern variable

case t of (x, y, z) -> (x, y, z+1)

How would you do: case t of (x, y, z, a, b, c) -> (x+1, y, z, a, b, c+2) would you allow: case t of (ctx @> x, _, _, _, _, ctx @> c) -> ctx (x+1) (c+2) -- Stefan