I wanted to deconstruct a Pair in

when

but can't get it work, googling was also not helpful. Any pointers?