<div class="gmail_quote">On Mon, Jul 13, 2009 at 10:33 PM, Ashley Yakeley <span dir="ltr"><<a href="mailto:ashley@semantic.org">ashley@semantic.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Mon, 2009-07-13 at 23:20 -0700, Jason Dagit wrote:<br>
> data EqualType a b where<br>
> MkEqualType :: EqualType t t<br>
><br>
> Is there any reason to prefer this over:<br>
> data EqualType a b where<br>
> MkEqualType :: EqualType a a<br>
<br>
</div>They're exactly the same. Yours just looks a bit "left-biased", that's<br>
all.</blockquote><div><br></div><div>For GADTs I prefer the kind color:</div><div><br></div><div>data EqualType :: * -> * -> * where</div><div> MkEqualType :: EqualType a a</div><div><br></div><div>Except I don't usually use it, because I mostly use GADT syntax pedagogically, as introduction to algebraic data types, and introducing kinds just seems to confuse things further.</div>
<div><br>Luke</div></div>