let function_of_poly = function
  p -> function a -> eval_poly (p, a)