>Just like you wouldn't want to encounter monadic IO in raw >>= form

Yes I would. I would much rather see "getLine >>= putStrLn" than a 2 line do block.