豊福です。

shelarcyさん
>> もし型の再帰定義が
>> できるとしたら具体的にどの型をどう再帰定義で書けるということ
>> でしょうか。
>
> 定義自体は変わりません。
> bind (>>=)が転がっていく(繋がっていく)ようになるだけです。

  んーー、まだ理解できません。もう少し説明お願いできませんか。
---
                        豊福
                        nobu_toyofuku / nifty.com


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/