id:ytqwerty さんが GCaml での type level programming の可能性にチャレンジされていた。正直六年前の事なので覚えていない事が多いし、そもそも type level programming をするつもりの拡張じゃないのでいろいろアレだが勘弁してほしい。全ソースは最後にまとめてあります。 型で計算する場合、その型に対応する値をいちいち作らなきゃいけないのが面倒だよね。assert false や Obj.magic は型 '_a だが、実行すると問題が生ずる。型レでコメントしたように、型τ をそのまま扱うのではなくて、'a t のパラメータにτを入れてあげる (τ t) という形にすると少し見通しがよろしい。'a t は 'a option でも 'a list でもでもよいけど、どうせ 'a t の値自体は使わないんだから、'a t を phantom