snd -package:singletons -package:strict-base-types -package:numeric-prelude package:termonad

Extract the second component of a pair.