Tony Morris

@djspiewak @nuttycom I can show you one which is not OptionT.

@puffnfresh @nuttycom If you’re claiming F ~> IO, then you should be able to define it for all F.

@djspiewak @nuttycom nope, it's not F which is universally quantified.

@puffnfresh @nuttycom But it is! I’m talking about LiftIO here. You’re claiming forall F . LiftIO[F] => (F ~> IO), which is impossible.

@djspiewak @nuttycom wow, I did not claim that. I would never.

@puffnfresh @nuttycom Because all LiftIO[F] must be able to define F[Unit] => IO[Unit], and all programs need it, it should be on the class.

@djspiewak @nuttycom not all programs need it.

@puffnfresh @nuttycom Please show me an example program *in Haskell* which uses an IO-based monad trans stack and doesn’t use this function.