fst package:constrained-categories

Extract the first component of a pair.
Perhaps lft and rgt would be more consequent names, but likely more confusing as well.