>>203 観点が違うと思われ。もし無理にでもってんなら、caml の　カテゴリカル・アブストラクト・マシーンとか