宮川さんが、不動点コンビネータを使ってラムダで再帰するエントリ書いてました。 不動点コンビネータを使ってラムダ式で再帰関数を定義する - 宮川拓の日記 型ごとのコンビネータが必要というのは、これはspecializationが導入されるのを待つしかないですね…