snd -package:strict-base-types -package:quickcheck-state-machine -package:mixed-types-num package:extra

Extract the snd of a triple.