snd -package:Cabal-syntax -package:LambdaHack package:mixed-types-num

Extract the second component of a pair.