<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">> My question is - when we think of Maybe as a functor T:C -> C .... should we<br>
> think that C here refers to Hakell types? As in,<br>
> (Int and Maybe Int are objects in C) and (Int -> Int and Maybe Int -> Maybe<br>
> 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>