サンキューです 539,540
IOモナドの中には表からはまったく触れられないんですね。
|表でfooが評価されると
この「評価」とは細かく言うとfooの計算ですか、それとも
foo w0の計算ですか。この区別が未だにわからない。
|>>=が評価されて
|あるIO Charの値（次の処理の値）が返されます．
putStrはIO ()だと思うのでこれは多分IO [Char]のことだと思い
ますが、ということは>>=が評価されると「getStr」が返される？
まだわからない。