Вывод типа для полиморфной рекурсии, закодированной как рекурсия модуля

Стандартный ML не имеет полиморфной рекурсии. Добавление рекурсии к модульному языку позволяет нам восстановить полиморфную рекурсию как частный случай, используя фиксированные точки эндофункторов. Например:

signature SEQ =
sig
  type 'a seq

  (* operations on sequences *)
end

functor BootstrapSeq (S : SEQ) =
struct
  datatype 'a seq
    = Nil
    | Zero of ('a * 'a) S.seq
    | One of 'a * ('a * 'a) S.seq

  (* operations on sequences *)
end

structure rec Seq = BootstrapSeq (Seq)

Известно, что полиморфная рекурсия делает неразрешимым вывод типов. Однако определение функтора уже содержит частичную информацию о типе, а именно сигнатуру его аргумента. Достаточно ли этой информации, чтобы снова сделать вывод типа разрешимым?