Re: [GHC] #7983: Bug in hsc2hs --cross-safe