Type-safe lens for zooming into a deeply nested record