2006-01-30 うえ OCaml exceptionでもできちゃうのか…一瞬、なにが起きてるのかわからなくなりましたが、 type exn = L1 of 'a | L2 of 'b | ...みたいな、タグがなんでもいいvariantみたいな感じなのかな、という理解。