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

Extract the second component of a pair.