축척 모형과 Optional.map을 통해, 한 구조를 다른 구조로 옮기는 행위가 정확히 무엇을 보존해야 하는지 살펴본다