変更できない参照型って言うのはそれなりに使えるとは思うがなんでrecordなんて名前なんだ?