<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=""><div class=""><font face="Courier" class="">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 face="Courier" class="">2. Yes, but again, you can use Tagged to allow same type in different disguise.</font></div><div class=""><br class=""></div><br class=""><div><blockquote type="cite" class=""><div class="">On 22 Nov 2016, at 11:32, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" class="">allbery.b@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra"><br class=""><div class="gmail_quote">On Mon, Nov 21, 2016 at 10:30 PM, winter <span dir="ltr" class=""><<a href="mailto:drkoster@qq.com" target="_blank" class="">drkoster@qq.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class=""><font face="Courier" class="">To illustrate, first i want to create a class like:</font></div><div class=""><font face="Courier" class=""><br class=""></font></div><div class=""><font face="Courier" class="">class Has a t where</font></div><div class=""><font face="Courier" class=""> get :: t -> a</font></div></blockquote></div><br class="">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=""><br clear="all" class=""><div class=""><br class=""></div>-- <br class=""><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div class="">brandon s allbery kf8nh sine nomine associates</div><div class=""><a href="mailto:allbery.b@gmail.com" target="_blank" class="">allbery.b@gmail.com</a> <a href="mailto:ballbery@sinenomine.net" target="_blank" class="">ballbery@sinenomine.net</a></div><div class="">unix, openafs, kerberos, infrastructure, xmonad <a href="http://sinenomine.net/" target="_blank" class="">http://sinenomine.net</a></div></div></div>
</div></div>
</div></blockquote></div><br class=""></body></html>