Re: [GHC] #8107: need types to express constant argument for primop correctness