GADTでエレガントに抽象構文木の階層を作る - Qiita

いきなりですが、何かの言語とかの抽象構文木を表すときに、いつも困っている問題がありました。たとえば、PEGにおける式は、 ``` e ::= e e //連接 | e '/' e //選択 ...