At 2001-08-16 16:30, I wrote:

...

(>>=) :: IO a -> (a -> IO b) -> IO b

This one is correct.

Whoops! No it's not. It should be: (>>=) :: (Monad m) => m a -> (a -> m b) -> m b The other two are however special cases of this type. -- Ashley Yakeley, Seattle WA