snd -package:linear-base is:exact

Extract the second component of a pair.
Extract the second component of a strict pair.
Extract the second component of a pair.
Extract the snd component of a pair.