snd -package:Cabal-syntax -package:LambdaHack package:singletons -is:exact

Project the second element out of a dependent pair.
Project the second element out of a dependent pair.