<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Donald Bruce Stewart wrote:
<blockquote cite="mid:20070417005556.GE21043@cse.unsw.EDU.AU"
 type="cite">
  <pre wrap="">david:
  </pre>
  <blockquote type="cite">
    <pre wrap="">   Ah... so the secret is in the hidden variables.  On some
   level I am beginning to fear that Monads resurrect some of
   the scariest aspects of method overriding from my OO
   programming days.  Do you (all) ever find that the ever
   changing nature of &gt;&gt;= makes code hard to read?
    </pre>
  </blockquote>
  <pre wrap=""><!---->
You always know which monad you're in though, since its in the type.
And the scary monads aren't terribly common anyway.
  </pre>
</blockquote>
<br>
Also, the monad laws impose a level of sanity that most OO frameworks
do not, right?<br>
<br>
</body>
</html>