snd -package:linear-base -package:singletons package:basic-prelude

Extract the second component of a pair.