Re: [GHC] #8580: Integer size mismatch errors