<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><blockquote type="cite" class=""><div text="#000000" bgcolor="#FFFFFF" class=""> Which brings us back to fclabels I suppose.</div></blockquote><div class=""><br class=""></div><div class=""><font face="Courier" class="">Can you elaborate this? I haven’t fully understand what is “incorporate the tag in the class from the start” . Thanks you.</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">Cheer~</font></div><div class=""><font face="Courier" class="">Winter</font></div><br class=""><div><blockquote type="cite" class=""><div class="">On 22 Nov 2016, at 15:33, MarLinn via Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org" class="">haskell-cafe@haskell.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" class="">
<div text="#000000" bgcolor="#FFFFFF" class="">
<blockquote cite="mid:F4FCDA9B-028C-4A4D-9369-D81C9257595F@qq.com" type="cite" class="">
<div class="">
<blockquote type="cite" class="">
<div dir="ltr" class="">
<div class="gmail_extra">Does this differ significantly from
fclabels or the upcoming OverloadedRecordFields extension?
(Aside from being purely type driven, which has problems
in your example if you compose a second Int into it.)<br class="">
</div>
</div>
</blockquote>
</div>
<div class=""><font class="" face="Courier">1. Yes, it’s similar
to OverloadedRecordFields but doesn’t force you to use a
label, and you may use Tagged to label a field if you want.</font></div>
<div class=""><font class="" face="Courier">2. Yes, but again, you
can use Tagged to allow same type in different disguise.</font></div>
</blockquote>
<br class="">
I can see a potential problem because you can't hide instances. Once
you
define a Has-relationship, you can't cheaply change it. That could
lead
to conflicts, unless you hack around it with orphaned instances in a
separate module. But you say you want to solve conflicts with
tagging –
so it would be reasonable to incorporate the tag in the class from
the
start. Which brings us back to fclabels I suppose.<br class="">
<br class="">
MarLinn<br class="">
</div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class="">To (un)subscribe, modify options or view archives go to:<br class=""><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="">Only members subscribed via the mailman list are allowed to post.</div></blockquote></div><br class=""></body></html>