Hmm, so we have a similar thing going on here with accessors that were named `getFoo` which are now lenses, which seems strange.  I would be inclined to just name them `foo` instead.  I think those names are currently in use for something else (I forget what), but not in a very consistent way, so I would be inclined to rename those other things and let the unadorned name be for the lenses.