On 2/8/06, Ashley Yakeley <[EMAIL PROTECTED]> wrote:
> IIRC, that subset is types that can implement this:
>
> class (MonadIO m) => StrictMonadIO m where
> getUnliftIO :: m (m a -> IO a)
You probably mean "m (forall a. m a -> IO a)" and that is not allowed.
You have to CPS it:
withUnliftIO :: ((forall a. m a -> IO a) -> m a) -> m a
--
Taral <[EMAIL PROTECTED]>
"Computer science is no more about computers than astronomy is about
telescopes."
-- Edsger Dijkstra
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
