
7 Oct
2013
7 Oct
'13
12:43 p.m.
Daniil Frumin
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