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

Extract the second component of a pair.