Re: [GHC] #11076: Demand information of foreign calls is wrong