>>268 の問題をよく考えれば、なぜ SML では単項マイナスを
二項マイナスと区別する事にした理由と、なぜ Caml では二つの
区別がないが、時々 (-1) のように括弧が必要かわかるんだけど。

思考停止して質問だけ、そう言うのは「真摯な質問」とは言えんな。