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

Extract the first component of a pair.