Rank2Types -> RankNTypes for ghc-7.6