:: (a, b) -> a package:constrained-categories

Extract the first component of a pair.