snd -package:linear-base -is:exact -package:base-compat-batteries package:numeric-prelude

Extract the second component of a pair.