<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 17, 2021 at 4:13 AM Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It is specified to be a static error, and the solution is either<br>
<br>
- define your own, consistent default rules for C and D in the current module, OR<br>
- ascribe types to the ambiguous use-sites and bypass default resolution entirely.<br></blockquote><div><br></div><div>Indeed. I'm convinced. <br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Since the Prelude is implicitly imported without an import list, both A and C would let you avoid an extra import. Same goes for Prelude replacements.<br></blockquote><div><br></div><div>I fully agree with this statement. (I don't think that I have a preference between A and C)<br></div></div></div>