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
