[Haskell] Re: Context of a pattern variable

[Stefan Monnier]

>   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