>>56
直和型について言えば、定義した型を
実行時に変更できないようにすれば可能かもしれない