Hi,<div>I was going through <a href="http://en.wikipedia.org/wiki/Monad_(category_theory)">http://en.wikipedia.org/wiki/Monad_(category_theory)</a> - under Formal Definition I notice that monad is a Functor T:C -> C</div>
<div><br></div><div>My question is - when we think of Maybe as a functor T:C -> C .... should we think that C here refers to Hakell types? As in,</div><div>(Int and Maybe Int are objects in C) and (Int -> Int and Maybe Int -> Maybe Int are arrows in C) and T is an arrow between them. Is that right? For some reason, I was</div>
<div>imagining them as two different categories C and D.</div><div><br></div><div>I am not able to fully understand how those diagrams translate to haskell - I can guess that T^2 -> T referes to things like concat operation but not able to relate it to bind.</div>
<div><br></div><div>Regards,</div><div>Kashyap </div><div><br></div><div><br></div><div><br></div><div><br></div>