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

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.