[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:

    http://www.reddit.com/r/haskell/comments/1ni8r6/should_it_be_monadio_applicativeio_functorio_or/ccjodj5

Tom




More information about the Haskell-Cafe mailing list