<div dir="auto">join is surely useful for Maybe and [].<div dir="auto"><br></div><div dir="auto">But IO (IO a)? ReadPrec (ReadPrec a)? ST s (ST s a)? When the heck could I encounter such types?</div></div>