Re: [GHC] #10505: more specific types in the generated *_stub.h files