[clean-list] Synonym type and Universal type

[TK]

>
> If a context in an algebraic type is used for a variable with an
> existential
> quantifier, the context has to be stored in the constructor (as a
> dictionary).
> This might be useful, but it is more work to implement this.


Isn't this in Haskell?


If a context is specified in type synonym, it probably means that if
> the type is used in a function type, the context is automatically added to
> the context of the function (if there are still type variables in the
> context). This could be confusing.


Thank You!
Are you aware of any other language design decisions to be taken heed of?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20070531/a432b911/attachment.html