<div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I&#39;m trying to wrap my head around OO&#39;Haskell&#39;s notion of objects as fixpoints.<br>


<br>
Is OO&#39;Haskell&#39;s use of mfix simply a use of something like a monadic<br>
Y-combinator to give the object access to its own &quot;identity&quot;?<br>
</blockquote><div><br>I don&#39;t remember the details exactly, but isn&#39;t it to support open recursion for inherited/overridden methods?<br><br><a href="http://etymon.blogspot.com/2006/04/open-recursion-definition.html">http://etymon.blogspot.com/2006/04/open-recursion-definition.html</a><br>

<br>Regards,<br>Sean<br></div></div>