Hi List,<div>   Given the syntax of first class module is improved a lot. I try to encode Monad and MonadState,  <a href="http://ideone.com/HgG4M">http://ideone.com/HgG4M</a></div><div>Unfortunately I found it&#39;s still impossible to share the code between differrent Monad Instances. Is it theoretically impossible or I missed something?</div>
<div>   Many thanks<br clear="all"><div><br></div>-- <br>-- Bob<br>
</div>