<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Right.  I know there was some argument a while back, but I thought<br>
that position that instances are global period was pretty &quot;official&quot;.<br>
At least it made sense to me.  The more libraries you import the less<br>
control you have over the extent of what they may import.  But I guess<br>
it wouldn&#39;t be haskell if every third person didn&#39;t have an idea for a<br>
better way to implement the mtl...  I just want an exception with a<br>
message though!</blockquote><div><br></div><div>A few days ago I was trying to refactor some code to use transformers + monads-tf instead of mtl.  Eventually I gave up after getting error messages about Either having conflicting Monad instances.  A few of the libraries I&#39;m using depend on mtl.</div>
<div><br></div><div>if I understand you correctly, all libraries that software I write depends on, directly or indirectly, must be free of namespace conflicts.  Is that correct?</div></div>