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

Extract the second component of a pair.