snd -package:linear-base is:exact -package:LambdaHack

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.