Re: [GHC] #12811: GHC tells me to use RankNTypes when it's already enabled