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

Extract the second component of a pair.