kind annotations

[Malcolm Wallace]

Manuel M T Chakravarty <chak at cse.unsw.edu.au> writes:

> But we should probably ensure that, if the kind inference proposals
> don't make it, we revisit the possibility of having kind annotations.
> (Not sure what the best way is to ensure this in our process.  Isaac?)

Wiki page and ticket added.  (Remember that anyone can add a ticket, if
they want to ensure that an idea doesn't get forgotten or overlooked.)

Regards,
    Malcolm