Change language pragma from `ImpredicativeTypes` to `RankNTypes`.