>>500
World型といっても、実際の値があってそれを参照してるよね？
だって、状況によって、モナドが返す値が違うんでしょ？
つまり、それは値を参照して、その値によって返す値を変えてるってことでしょ？
外部から値を参照してるようにしか見えないけど。