Build the substitution correctly in piResultTy