When I hear “create an immutable copy of an immutable object with a modified field” I think lenses.