Monadic Warsaw