snd -package:singletons -package:linear-base -package:github package:numeric-prelude

Extract the second component of a pair.