These can be implemented using the lenses