snd -package:linear-base -package:base-compat-batteries -package:classy-prelude package:singletons

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