> Do you have an opinion on the alternatives discussed under KindInference?
I probably favour polymorphic kinds, as it is the most elegant solution.
(And I agree that in this case kind declarations would not be needed.)
What particularly strikes me about the other two proposals is that when I first looked
at them I was unsure in what way they'd differ.
And that suggests that they are too complicated.
In some sense, I'd rather see something toned down, exploiting type definitions only,
but being augmented with kind annotations.
Stefan