Note, however, that we can't get rid of the field entirely unless we explicitly give the `adjMethod` and `adjEps` lenses more restricted types (making then `Lens'` instead of `Lens`). (Perhaps that is a good idea.)