lens not needed to view item 1 of a 3-tuple