On Mon, Oct 22, 2012 at 11:02 AM, Ashley Yakeley <ashley at semantic.org> 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"?