8 Feb
2006
8 Feb
'06
7:34 p.m.
On 2/8/06, Ashley Yakeley <ashley@semantic.org> 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 <taralx@gmail.com> "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra