A natural transformation $\eta: F \Rightarrow G$ maps data:
$\eta_{\text{Person}}$: identity on people
$\eta_{\text{City}}$: identity on cities
But updates how $lives_in$ points