Is join useful for every monad?

[Dannyu NDos]

join is surely useful for Maybe and [].

But IO (IO a)? ReadPrec (ReadPrec a)? ST s (ST s a)? When the heck could I
encounter such types?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20191014/8a15f571/attachment.html>