Add missing "(x)" to "prd(x:A) B"