Re: recursive group context bug?

On Mon, Jan 17, 2005 at 09:52:18AM +0000, Keean Schupke wrote:

You cannot sequence two operations from different monads...

Note that this compiles: module Bug where { p :: IO (); p = q >>= id; q :: (Monad m) => m (IO ()); q = return (return ()); -- the only change is in this line } Best regards, Tomasz