Re: type&kind inference

[Lennart Augustsson]

> Are partial applications of data-types allowed then?
> If not, the higher kinds would not make sense.
Yes, partial appication of data types is allowed.
As you said, without it there wouldn't be much
much point of it all.

> The report has a pointer to a paper by Mark Jones, where this is
> presumably explained.  But I don't think pointing to papers is good
> enough for a language definition.  At least it should be clear from
> the report what a type is.
I agree completely.

        -- Lennart