<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">If we expose it on the Haskell level, I find MkSum_1_2# the right thing<br>
to do: It makes it clear that (conceptually) there really is a<br>
constructor of that name, and it is distinct from MkSum_2_2#, and the<br>
user cannot do computation with these indices.<br></blockquote><div><br></div><div>I don't mind MkSum_1_2#, it avoids the awkwardness of attaching it to a closing delimiter.  But...  it does still introduce the idea of cutting up tokens to get numbers out of them, which is kind of hacky.  (There seems to be a conserved particle of hackiness here that can't be eliminate, but it doesn't bother me too much.)</div><div><br></div></div></div>