Re: kind annotations

Manuel M T Chakravarty 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