snd -package:linear-base package:singletons

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