拡張可能直和型を引数に取る関数の定義 (Haskell)

「extensible パッケージの楽しみ その２」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第二弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． また，現在の最新バージョンは 0.4.7.1 です(そのバージョンでハナシをしてる)． 前回は拡張可能レコードの拡縮の話を書きました． その最後の方に，おまけとして拡張可能直和型の話を書きました． 実際に自分のプログラムで，この拡張可能直和型を使おうとしてみたんですが，パターンマッチが分からず分岐が出来なかったので調べました，ってのが今回のハナシ． 今回の Haskell コードは基

[ilyaletre]

うおーん？ OCamlの多相バリアントみたいな感じ？ 型クラスのインスタンス増やして拡張に対応するのはfinally taglessみたいな使い勝手かなー。ちょっと想像してたのと違って面白かった。

[kakkun61]

AST を拡張可能直和型で作っておくと方言を追加できて評価器も追加部分書くだけでよくなるのか