<div dir="ltr"><div>Hello,</div><div><br></div><div>I tried to compile my project with GHC 8 (from HEAD).</div><div><br></div><div>And I got</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">    • Overlapping instances for aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>...<br>        arising from a use of ‘serve’<br>      Matching instances:<br>        two instances involving out-of-scope types<br>          instance aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON b =><br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>                     (Data.Tagged.Tagged a b)<br>            -- Defined in ‘aeson-0.11.1.0:Data.Aeson.Types.Instances’<br>          instance forall k x (r :: k).<br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON x =><br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>                     (Data.Tagged.Tagged r x)</blockquote><div><div><br></div></div><div>One of instances should be removed probably. </div><div>I suppose that instance for removing should be instance in Data.Tagged. </div><div>But version in Aeson should be PolyKinded.</div><div><br></div><div>What do you think?</div><div><br></div><div>Best regards,</div><div>Dmitry </div></div>