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

Extract the second component of a pair.