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

ちがくね？
そういう書きかたしたいなら，
「a -> IO bの実体は，a -> RealWorld -> (b, RealWorld)という……」じゃね？