wamlのコードを読んでいて let rec enforce inf (p : pred) = function ... | Bool | Byte | Text when p <= Eq -> () のようなコードに行き当たった。predというのは type pred = Any | Eq | Ord | Num のように定義されている。つまり普通のバリアントだ。…