<div class="gmail_quote">On 3 August 2010 01:34, Richard O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
There's a thing I'm still finding extremely hard about monads,<br>
and that's how to get into the frame of mind where inventing<br>
things like Monad and Applicative and Arrows is something I could<br>
do myself. Functor, yes, I could have invented Functor.<br>
But not the others.<br></blockquote><div><br>Maybe looking at Sigfpe's blog post<a href="http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html"> You Could Have Invented Monads! (And Maybe You Already Have.)</a> will help.<br>
<br><br>Chris.<br></div></div>