snd package:constrained-categories

Extract the second component of a pair.