Dominic: slightly neater syntax for state lenses