snd -package:singletons -package:LambdaHack -package:product-profunctors package:base-prelude

Extract the second component of a pair.