<div class="gmail_quote"><div>Thank you very much Brent,</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">&gt; My question is - when we think of Maybe as a functor T:C -&gt; C .... should we<br>

&gt; think that C here refers to Hakell types? As in,<br>
&gt; (Int and Maybe Int are objects in C) and (Int -&gt; Int and Maybe Int -&gt; Maybe<br>
&gt; Int are arrows in C) and T is an arrow between them. Is that right?<br>
<br>
</div>Yes, exactly.<br></blockquote><div><br></div><div>I really needed this confirmation - thanks. </div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

<div class="im"><br></div>
There are is also a form of the monad laws in terms of fmap, return,<br>
join.  For more I recommend checking out<br>
<br>
  <a href="http://en.wikibooks.org/wiki/Haskell/Category_theory" target="_blank">http://en.wikibooks.org/wiki/Haskell/Category_theory</a><br>
<br></blockquote><div>If I am not mistaken, this pages has been updated recently. Thanks.</div><div><br></div><div>Regards,</div><div>Kashyap </div></div>