<p dir="ltr">A type can only have a single instance of a given class. Imagine if this weren't true. The compiler would have to guess which of the instances you meant to use. The solution is to use newtype. That will introduce a different type, allowing separate instances, but is optimised out so it carries no runtime cost.</p>
<br><div class="gmail_quote"><div dir="ltr">On Tue, 20 Oct 2015, 17:24 Mike Houghton <<a href="mailto:mike_k_houghton@yahoo.co.uk">mike_k_houghton@yahoo.co.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Hi,<div><br></div><div>I’m looking at a blog post on Monoids and finger trees at <a href="http://apfelmus.nfshost.com/articles/monoid-fingertree.html" target="_blank">http://apfelmus.nfshost.com/articles/monoid-fingertree.html</a></div><div>and would appreciate  a bit of advice</div><div><br></div><div>I have  </div><div><br></div><div><div>type Size = Int</div><div>type Priority = Int </div></div><div><br></div><div><div>instance Monoid Size where</div><div>    mempty  = 0</div><div>    mappend = (+)</div></div><div><br></div><div><div>instance Monoid Priority where</div><div>    mempty  = maxBound</div><div>    mappend = min</div></div><div><br></div><div><br></div><div>and I get compiler error</div><div><br></div><div><div>  Duplicate instance declarations:</div><div>      instance Monoid Size</div><div>        -- Defined at /Users/mike/haskell/FingerTrees/Ftree.hs:60:10</div><div>      instance Monoid Priority</div><div>        -- Defined at /Users/mike/haskell/FingerTrees/Ftree.hs:64:10</div></div><div><br></div><div>Which I can sort  of understand as Size and Priority are both Int but on the other hand, internally, the monoids  are different.</div><div><br></div><div>Is this genuinely incorrect code or is there a language extension to get around this?</div><div><br></div><div>Thanks</div><div><br></div><div>Mike</div><div><br></div><div><br></div><div><br></div></div>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>