Yes, it needs both a setter and a getter, if we want to avoid making `field` one of the case class parameters.