snd -package:strict-base-types -package:data-or package:mixed-types-num

Extract the second component of a pair.