>>344
アドバイスありがとうございます！
なんとかtとｓの型だけが取得できればいいんですが・・・
例えば引数としてTes(t->s)を考えた時に
f (Tes x) = のように書いて x に t->s　をマッチさせたあとにtとsの型を取得することは可能なのでしょうか？
質問だらけで申し訳ありません。当方はOCamlならある程度理解できているレベルです。
もしなにか知見がございましたらよろしくお願いします