¿Por qué ocurre este comportamiento?

<code># Printf.sprintf ("Foo %d %s") 2 "bar";;
- : string = "Foo 2 bar"

# Printf.sprintf ("Foo %d" ^ " %s") 2 "bar";;
  Printf.sprintf ("Foo %d" ^ " %s") 2 "bar";;
Error: This expression has type string but an expression was expected of type
         ('a -> 'b -> 'c, unit, string) format =
           ('a -> 'b -> 'c, unit, string, string, string, string) format6
</code>

Espero que la concatenación de cadenas se evalúe primero, por lo que todo procederá normalmente. ¿Tiene esto que ver con el tipo de sistema de engaño que emplea Printf?