困った

match abc with
    A -> ...
  | B -> ...
    begin
      match xyz with
          X -> ...
        | Y -> ...
    end
  | C -> ...

と書くと、べつに手続きがあるわけでもないのにbegin〜endが出てくるのが微妙に嫌で、でも括弧で括るのはもっと嫌だ。

と思っていたら、今日書いてたコードは、二つ目のmatch〜with〜の結果をlet〜in〜で束縛していたので、begin〜endは要らないのだった。めでたしめでたし。