[m-dev.] Insts and abstract types.

[Michael Day]

> In most cases, for values of abstract types, the insts as far as the
> outside world are concerned can be considered as either free, ground or
> unique.  One can also imagine situations where the inst might carry
> extra information, for example in subtyping, but so far such uses are
> very rare.

I have long wanted to store higher order stuff in the standard collections
like queue, does that count as one of the "very rare" uses?

Michael

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------