snd -package:singletons -is:exact -package:base-prelude package:strict-base-types

Extract the second component of a strict pair.