>>>>> Daniil Frumin <difru...@gmail.com> writes:

> Isn't it the case that there could be more than one natural transformation
> between functors?

Yes, I imagine there would have to be some newtype wrappers to distinguish in
those cases.

John Wiegley
FP Complete                         Haskell tools, training and consulting
http://fpcomplete.com               johnw on #haskell/irc.freenode.net
Haskell-Cafe mailing list

Reply via email to