Ввод в формате с принтерами с необязательными аргументами

Я столкнулся с интересным поведением типа OCaml. Кажется, что машинка не принимает принтер с необязательными аргументами.

Когда функция имеет необязательные аргументы, ее можно ввести как функцию без необязательных аргументов.

(** Simple example *)
let (f1 : ?arg : int -> unit -> int) =
  fun ?(arg = 3) () : int -> arg + 5

let f2  : ((unit -> int) -> int) =
  fun f -> f ()

let x : int = f2 f1
(* The type of f1 matches the signature of f2 :
   the optional argument is well discarded. *)

Здесь f1 имеет необязательный аргумент, но f2 f1 хорошо типизирован. Это потому, что (или, по крайней мере, я так понял) сигнатура аргумента f2 охватывает тип f1. Необязательный аргумент просто отбрасывается.

Однако такое поведение отвергается в принтерах, как показано в этом примере.

 (* Data structure *)
type 'a elt = {
  data : int;
  annot : 'a
}

(* Type of printer annotations *)
type 'annot printer = Format.formatter -> 'annot -> unit

(* Default printer prints nothing *)
let (default : 'a printer) = fun fmt _ -> Format.fprintf fmt ""

(* Generic printer for elts *)
let elt_printer
    ?(print_annot : 'a printer = default)
    (fmt : Format.formatter)
    (elt : 'a elt) =
  Format.fprintf fmt "%i(%a)"
    elt.data
    print_annot elt.annot

(* I don't care about printing the annotation *)
let f (elt : _ elt) =
  Format.printf
    "%a"
    elt_printer elt

Вот что возвращает компилятор при использовании elt_printer в вызове fprintf̀:

This expression has type
         ?print_annot:'a printer -> Format.formatter -> 'a elt -> unit
       but an expression was expected of type Format.formatter -> 'b -> unit

Я полагаю, что типографу удается вывести это 'b = 'a elt, но ему не удается отбросить необязательный аргумент.

У меня есть два вопроса относительно этого поведения:

1. Это ожидаемое поведение машинки для второго примера?

2. Если нет, существует ли стандартный синтаксис, запрещающий использование функций с необязательными аргументами? Например, есть ли способ запретить использование f1̀ в качестве аргумента f2 в первом примере?

Заранее спасибо.

Обновлено: Можно принудительно ввести elt_printer без необязательных аргументов, указав его тип.

let f (elt : _ elt) =
  Format.printf
    "%a"
    (elt_printer : _ printer) elt

Обновлено еще раз: Для помеченных аргументов средство ввода строго блокирует преобразования ввода, так как аргументы должны иметь определенное имя. Это не проблема, поднятая в моем вопросе.