Re: Getting rid of -XImpredicativeTypes