読者です 読者をやめる 読者になる 読者になる

うえ

exceptionでもできちゃうのか…

一瞬、なにが起きてるのかわからなくなりましたが、

type exn = L1 of 'a
         | L2 of 'b
         | ...

みたいな、タグがなんでもいいvariantみたいな感じなのかな、という理解。