最近OCamlをようやくversion4系列にアップデートしたのですが。 その際にGADTとかいう言葉が気になったので調べていたら、ちょうどわかりやすいエントリーが。 Detecting use-cases for GADTs in OCaml 上のエントリによると、どうやらGADTというのは「代数…