let
proj2 (_, y, _) = y