snd -package:singletons -package:loc -package:linear-base package:strict-base-types

Extract the second component of a strict pair.