Re: [GHC] #10252: Abstract newtype in hs-boot