[Haskell-cafe] Syntax of 'do'

Hi, http://haskell.org/haskellwiki/Keywords says that: ------------- [do is a] syntactic sugar for use with monadic expressions. For example: do { x ; result <- y ; foo result } is shorthand for: x >> y >>= \result -> foo result ------------- I did some tests hiding Prelude.>> and Prelude.>>= and applying >> and >>= to non-monadic types, and saw that 'do' would not apply to them. So, I would like to add the following to that text: ------------- as long as proper types apply: x :: Prelude.Monad a y :: Prelude.Monad b foo :: b -> Prelude.Monad c ------------- Is that correct (Haskell and English)? Thanks, Maurício