Re: [GHC] #11636: Promoting newtype destructor