open data types(extensible data types)についての技法・ライブラリのまとめが欲しい

[mizunashi-mana]

現状この分野に関して，ユニバーサルソリューションは無いという認識なのですが，時々それぞれの技法にどういう特徴があるんだっけ？というのを俯瞰したい場合があるので，そういう記事が欲しいです．

想定してるのは，こんな感じの話題です:

• Data types a la carte
• Typed tagless final
• Tree that grow

まあ，誰も書かなそうなら，ツッコミ待ちの記事を書くかもしれません