let eqn pp = infix pp "=" pp