snd -package:termonad -package:LambdaHack -is:exact package:dimensional

Extract the second component of a pair.