On Mon, Oct 22, 2012 at 11:02 AM, Ashley Yakeley wrote:

I think it's OK if a compiler accepts a program incorrectly marked "Rank2Types" when it actually requires rank-n types?

It's an interesting question: does Rank2Types mean "I require at least rank-2 types" or "I only use rank-2 types"?