change obsolete Rank2Types to RankNTypes