Revised にも利点はいろいろあると思うんだけど，リストは常に [] で囲むと
かいった制約がちょっと萎える． [ x; y; z :: t ] とか．

ただ， OCaml が見づらいのってカッコが妙に増えるあたりにある気がするの
でそれを防ぐ意味合いはあるかもしれない……けどあんまり使う気になれない．