You might be conflating monads with do-notation? Do-notation is a syntactic tweak to make using monads a little prettier, and is implemented in the language, but you can just as well use monads without it. Consider the IO example:

    main = getArgs >>= mapM_ putStrLn

where

    getArgs :: IO [String]
    putStrLn :: String -> IO ()
    mapM_ :: (a -> m b) -> [a] -> m ()