何度も言及してすみません。いや、本当に…（笑）http://d.hatena.ne.jp/succeed/20061030#1162196029一瞬、僕も悩みましたが、polymorphic recursionがない、ということのようです。これは普通のMLでも同様ですが、Ｏ堀先生のランク１多相でも、（大ざっぱに…