申し訳ない。
それではMLねたを１つ。

大堀さんのところが国プロで拡張MLの開発をやってるようだけど、
こういう機能が欲しい、というのはありますか？

今のところは、

・多相型レコード計算
・ランク1多相（これはよく知らない）
・JAVAやSQLとの相互運用性

あたりを追加するようですが。