7 Oct
2013
7 Oct
'13
12:04 p.m.
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_applica... Tom