>>353
あ 申し訳ないです。言葉が足りませんでした。
コンストラクタを関数のように扱えないということを伝えたかったのです。
最初はお書きいただいたものと同様のものでOCamlで書いていたのですが
他の部分で弊害が出たのでHaskellで実装しなおしてるところでした。