Re: [GHC] #9252: Generalize hs-boot files to be more like module signatures