snd -package:strict-base-types -package:github -package:singletons-base package:basic-prelude

Extract the second component of a pair.