분기와 generic type 변화에서 차이가 드러난다.
base 상태 변경
base 유지
map type 변경 어려움
T에서 R 전환
핵심: 원소가 mutable이면 list 불변성만으로 deep immutability가 되지 않는다.