IO型におけるRealWorldは、現実世界をラップして副作用を除去するというより、
遅延評価がデフォルトなHaskellにおいてアクションの実行順を保証する役割が大きい