A note about the forall in the Lens synonym.