Immutable para Monad