snd -package:linear-base -package:base-prelude -package:MissingH package:strict-base-types

Extract the second component of a strict pair.