snd -package:singletons -package:linear-base -package:universum -package:quickcheck-state-machine package:invertible

Extract the snd component of a pair.