27 Jul
2010
27 Jul
'10
6:23 a.m.
oleg@okmij.org writes:
class Functor' f a b where fmap' :: (a -> b) -> f a -> f b
I was about to ask why you mentioned b in the type signature as well, as I thought just having "(Functor' f b)" as a constraint in the type signature of fmap' would be sufficient, but when I went to check I found that I was mistaken. *sigh* this is going to make some of my code even uglier than it already is :( -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com