snd -package:strict-base-types -package:ghc package:singletons

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