Re: [GHC] #8631: Need ImpredicativeTypes for GeneralizedNewtypeDeriving?