イミュータブルだと型理論的にはいろいろ面倒なんだよ