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

Extract the second component of a pair.