let infixl pp op =
  list ("", op, "") pp