Papa.Lens.Implement.Data.Tuple