is this possible?

module type Extender =
  functor(M : sig type t end) ->
sig
  type t
  val default : M.t -> t
end


module rec Tree = functor (E: Extender(Tree)) -> sig
  type tr
end = struct
  type tr =
    | Node of tr * tr * E.t
    | Leaf of E.t

end