Report question

Question: Are Rank2Types/RankNTypes practical without polytype variables?