snd -package:linear-base is:exact -package:LambdaHack package:invertible

Extract the snd component of a pair.