help

1996-03-10 Thread Used to send unsubscribe requests
help

unsubscribe

1996-03-10 Thread Used to send unsubscribe requests
unsubscribe

Re: type&kind inference

1996-03-10 Thread 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 > pre