>>6
Yes, and the semi-colons are the monadic >>= (a.k.a. bind). The difference is that Haskellers can overload the semi-colon in lots of ways and the compiler can ensure that monadic code stays in one particular monad and doesn't drip into another (like doing IO inside an STM transaction).
>>8
There is no difference, continuations are monads too, in fact they're the mothers of all monads. Dan Piponi explains it here:
http://blog.sigfpe.com/2008/12/mother-of-all-monads.html