:: (a, b) -> a package:linear-base is:exact

Extract the first component of a pair.