snd -package:strict-base-types package:numeric-prelude

Extract the second component of a pair.