[Haskell-cafe] Lifting IO actions into Applicatives

Tom Ellis tom-lists-haskell-cafe-2013
Mon Oct 7 16:04:54 UTC 2013

On Mon, Oct 07, 2013 at 07:57:23PM +0400, Daniil Frumin wrote:
> Isn't it the case that there could be more than one natural transformation
> between functors?

Definitely.  In addition rwbarton responded to my challenge by finding two
different applicative morphisms between the same applicative, one which
extends to a monad morphism and one which does not:



More information about the Haskell-Cafe mailing list