AddNextHoles: Prefer Lens.mapped to Lens.traverse. Use & chaining rather than .