Почему я получаю сообщение об ошибке «Переменная типа a встречается внутри a t» с включенным флагом -recttypes

Я хотел бы написать катаморфизм в OCaml для любого эндофунктора (в терминах типов) как функтора (в терминах OCaml):

module type Functor = sig

    type 'a t

    (* ... *)
end

module Make(F : Functor) = struct

    type fix_t = 'a F.t as 'a

    (* ... *)
end

Но этот код выдает ошибку: «Переменная типа a встречается внутри F.t».

Я знаю, что для компилятора OCaml существует флаг «-recttypes», и вместо fix_t принимается следующее определение типа: type fix_list = 'a list as 'a.

Поэтому я думаю, что ошибка вызвана неизвестным типом t, но мне кажется странным, что здесь программа проверки типов различает известные и неизвестные типы.