[email protected] 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 [email protected] IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
