＞type modifierという発想自体、uglyなものというのが納得できました。
＞読み取り専用にしたかったら、専用のInterfaceを用意するのが、smartな解決法ですね。

俺は const は constのT型を自動的に生成してくれる機能だと思ってるのだが…。
つまり type modifier ではなく、読み取り専用の interface をもった型を自動生成してくれるのが const じゃないのか？