snd -package:singletons -package:quickcheck-state-machine package:base-compat

Extract the second component of a pair.