I tried reinstalling GHC 7.0.1 from scratch, the issue remains...<br><br><br><div class="gmail_quote">2011/2/26 Daniel Fischer <span dir="ltr">&lt;<a href="mailto:daniel.is.fischer@googlemail.com">daniel.is.fischer@googlemail.com</a>&gt;</span><br>

<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="im">On Saturday 26 February 2011 12:54:02, Yves Parès wrote:<br>
&gt; When I look at the documentation of Control.Monad.Error [1] or<br>
&gt; Control.Applicative [2] it is not said that it re-exports<br>
&gt; Control.Monad.Instances. So maybe this behaviour is normal...<br>
<br>
</div>I don&#39;t think so. Instances are automatically propagated, they can&#39;t be<br>
hidden once they&#39;re in scope. Functor, Monad, Either and (-&gt;) are all<br>
available in the Prelude, so unless you have NoImplicitPrelude, the<br>
instances ought to be in scope from any transitive dependency.<br>
And they are in scope for me when I import Control.Monad.Error or<br>
Control.Applicative, so something is amiss if they&#39;re not in scope for you.<br>
</blockquote></div><br>