these are lens-dependent, not ghc