You are correct under this particular interpretation of purity, there are just competing ways to assess said purity. Wikipedia only lists two (the one you just showed and the one I described) but is missing the third one (the inlining approach).

In Haskell, all functions in the IO monad are by definition pure, and that includes all the println functions.