roconnor | dcoutts, cyrpto has a bunch of dependencies? |

nominolo | quicksilver: no, not the standard ones, afaik |

sorear | @instances MonadFix |

lambdabot | ((->) r), Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, [] |

sorear | Cont is missing |

quicksilver | ah |

nominolo | quicksilver: although they do have some different properties if you look closer |

roconnor | quicksilver: monads don't really have anything to do with evalutation order |

sorear | @instances-importing Control.Monad.Cont MonadFix |

lambdabot | ((->) r), Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, [] |

sorear | not a scope thing @instances-importing Control.Monad.Cont Monad |

quicksilver | roconnor: they have something to with side-effect order, in several cases |

lambdabot | ((->) r), ArrowMonad a, Cont r, ContT r m, Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, [] |

Saizan | SamB: maybe, i know of the ones in Network.HTTP Network.CGI cgi-compat HAppS haskell-mime string-mime |

quicksilver | roconnor: and some of those side effects force evaluation (and some don't) |

dcoutts | roconnor, yep, it used to at least. roconnor, the situation might be better now, feel free to take a look |

quicksilver | sorear: I think it's too late at night for me to get my head around whether ContT should have a fixed point :) ContT hurts my head at the best of times. |

roconnor | dcoutts: Build-Depends: base, mtl, QuickCheck, HUnit, NewBinary, fps hmmm |

chessguy | hi haskellites |

roconnor | @type mfix |

lambdabot | forall a (m :: * -> *). (MonadFix m) => (a -> m a) -> m a |

roconnor | @djinn (a -> ((a -> r) -> r)) -> ((a -> r) -> r) |

lambdabot | -- f cannot be realized. |

roconnor | well, djinn doesn't make fixpoints in any case I suppose |

quicksilver | @djinn (a -> (r->a)) -> (r->a) |

lambdabot | -- f cannot be realized. |

roconnor | @djinn (a -> a) -> a |

lambdabot | -- f cannot be realized. |

action | quicksilver nods |

quicksilver | nods not first-order |

Saizan | it doesn't even work with lists |

quicksilver | it probably works with the church encoding of lists which I can't be bothered to work out now :) |

Saizan | ah, there's also a Data.MIME.Types in MissingH! |

stepcut | Saizan: :p |

SamB | oh boy :-(. |

Saizan | mmh i think there's a such list on hpaste |