不変
不変
にも様々なものがある
readonly
推移性
がない
struct
自体は
readonly
でもその
フィールド
が可変であるなど
aliasing problem
の可能性がある
所有権
Immutable