snd -package:singletons -package:linear-base -package:LambdaHack package:dimensional

Extract the second component of a pair.