snd -package:termonad -package:linear-base package:dimensional -is:exact

Extract the second component of a pair.