kind annotations

Malcolm Wallace Malcolm.Wallace at
Thu Feb 2 06:10:26 EST 2006

Manuel M T Chakravarty <chak at> 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.)


More information about the Haskell-prime mailing list