snd -package:linear-base -package:ghc-lib-parser -package:first-class-families package:singletons

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