snd -package:singletons -package:invertible -package:numhask package:strict-base-types

Extract the second component of a strict pair.