<div dir="ltr"><div dir="ltr">On Thu, Oct 8, 2020 at 2:12 PM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On Thu, 8 Oct 2020, Daniel Díaz wrote:<br>
<br>
> But now consider this instance:<br>
> <br>
> > newtype Wrapper a = Wrapper (Maybe a)<br>
> > instance Show a => Show (Wrapper a) where<br>
> >   show (Wrapper x) = show x<br>
> <br>
> This compiles just fine, despite—to my mind—suffering from the exact same problem that the "foo" function had.<br>
> Why does it work?<br>
<br>
There is an instance Show (Maybe a) in Prelude, but no instance Show <br>
(Wrapper a), so no overlapping.</blockquote><div><br></div><div>Sorry, I wasn't very clear there.</div><div><br></div><div>The problem is not with the "Show (Wrapper a)" instance itself, but with its implementation of "show". It depends (just as the function "foo" did) on "Show (Maybe a)", for which there are overlapping instances.</div><div><br></div><div>And yet "foo" compiles without problem, while the typeclass method doesn't. </div><div><br></div></div></div>