snd -package:Cabal-syntax -package:LambdaHack -package:numeric-prelude package:cabal-install-solver

Extract the second component of a pair.