>>458
> それだけではそのmは単にbを取る型構築子に過ぎない。
えっ、型構成子に過ぎないんじゃないの？

> IO bの実体はRealWorld -> (b, RealWorld)という純粋な関数だ。
「a -> IO bの実体は、a -> (b, RealWorld)という純粋な関数とみることができる」？

> だが、このRealWorldは隠蔽されており、IOの外側からはアクセスできない。
「だが、このRealWorld(=IO)を入力値にもつ関数は文法的に禁止されている」？

> モナドはいわゆる手続きと同じ構造を持つが、
「モナドはいわゆる手続きと同じ構造を持つことができるが、」？

> 数学的な意味での関数は複数の値を直接に返すことはできない。
そう？　値域が直積型の関数でいいんじゃない？　ああ後ろに冪集合P(A)型の値
と書いてるけど、これでもいいし。細かくてスマンな