Почему эта функция выравнивания для типа потока выдает мне эту ошибку?

#ocaml #type-inference Вопрос: exception Empty_list type 'a stream = Stream of 'a * (unit -> 'a stream) | Nil let shead s = match s with | Stream (a, _)…