Sorry, I meant that you pretty much always want RankNTypes instead of Rank2Types. My fault for not specifying.