あれれ、すみません。また疑問が。。。

では、IOモナドのreturnはどうやってIOを作り出しているのでしょうか？
処理系に隠蔽されている？