:: (a, b) -> a -package:ghc -package:github package:dimensional

Extract the first component of a pair.