<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">I'm looking at a discussion of Either (as functor) here:<br><br>http://learnyouahaskell.com/making-our-own-types-and-typeclasses#the-functor-typeclass<br><br>instance Functor (Either a) where &nbsp;<br>&nbsp;&nbsp;&nbsp; fmap f (Right x) = Right (f x) &nbsp;<br>&nbsp;&nbsp;&nbsp; fmap f (Left x) = Left x<br><br><br><br>And this line in Data.Either<br><br>Functor (Either a)<br><br>but no fmap defined here.<br><br><br>How come?<br><br>Michael<br><br></td></tr></table><br>