immutableでないと、あるときa==bであってかつその後aとbを何も操作してなくても
a==bを保証できないから....っていう例の理屈だろうけど、正直そんな理屈に意味があるのかと思う