recursive group context bug?

[Tomasz Zielonka]

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