let
proj1 (x, _, _) = x