>>688
列挙型ではなく、順序型という別の型を作ったほうが良いな。