Почему это не закорачивает отрывок OCaml с работой Printf.printf?

Я - новичок OCaml. Я играю вокруг с "привет мировыми" отрывками типа и столкнулся с этой ситуацией. Вот сессия с интерпретатором с некоторыми дополнительными комментариями:

# let average a b = 
  (a +. b) /. 2.;;
val average : float -> float -> float = <fun>
# average 1. 4.;;
- : float = 2.5
# string_of_float (average 1. 4.);;
- : string = "2.5"

(* this fails...*)
# let _ = Printf.printf (string_of_float (average 1. 4.));;
Error: This expression has type string but an expression was expected of type
         ('a, out_channel, unit) format =
           ('a, out_channel, unit, unit, unit, unit) format6

(* yet this works *)
# "hello!";;
- : string = "hello!"
# let _ = Printf.printf "hello!";;
hello!- : unit = ()

(* another failed attempt *)
# let s = string_of_float (average 1. 4.);;
val s : string = "2.5"
# s;;
- : string = "2.5"
# let _ = Printf.printf s;;
Error: This expression has type string but an expression was expected of type
         ('a, out_channel, unit) format =
           ('a, out_channel, unit, unit, unit, unit) format6

(* and this also works?? *)
# let _ = Printf.printf "2.5";;
2.5- : unit = ()

Таким образом, вот ситуация. string_of_float (average 1. 4.) возвращает строку, так же, как "hello!" делает. Когда я даю "hello!" в Printf.printf, это работает как ожидалось. Когда я даю string_of_float (average 1. 4.) к Printf.printf это приводит к сбою и говорит мне, что ожидало, не ожидал строку, но что другой странный тип. Но почему делают "hello!" и "2.5" работа тогда?

Что продолжается?