help
help
unsubscribe
unsubscribe
Re: type&kind inference
> 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 > pre