>>138-139
ML良く知らないけど、'a list -> 'b listでできるんじゃないの？
本体を書けば自然に関係の記述も本体の中に記述されるでしょ。