Added `RankNTypes` pragma