Small change

Rank2Types is deprecated, modified to RankNTypes