Re: [GHC] #1965: Allow unconstrained existential contexts in newtypes