snd -package:Cabal-syntax -package:LambdaHack -package:product-profunctors package:strict-base-types

Extract the second component of a strict pair.