<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">If a context in an algebraic type is used for a variable with an existential<br>quantifier, the context has to be stored in the constructor (as a dictionary).
<br>This might be useful, but it is more work to implement this.</blockquote><div><br>Isn&#39;t this in Haskell?<br></div><br><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
If a context is specified in type synonym, it probably means that if<br>the type is used in a function type, the context is automatically added to<br>the context of the function (if there are still type variables in the<br>
context). This could be confusing.</blockquote><div><br>Thank You!<br>Are you aware of any other language design decisions to be taken heed of?<br></div></div>