Undocument ImpredicativeTypes
I understand that Simon Peyton Jones intends to make ImpredicativeTypes
work some day, but it doesn't work now. I think the thing to do for now is to remove it from the user manual. It can be put back in later if and when it's fixed.