snd -package:singletons -package:quickcheck-state-machine -package:MissingH package:strict-base-types

Extract the second component of a strict pair.