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

Extract the second component of a pair.