This has nothing to do with monads in FP.
still, i'm always wondering. why be so insistent. i mean, leibniz's monads are opaque substances that by itself have no causal relations with the world, but only affect each other/the world through "God". which sounds to me like an exact description of the IO monad