functor
  (FM : FREE_MONAD) (Fold : sig
                              type 'a t = 'a FM.F.t
                              val to_seq : 'a t -> 'a sequence
                            end) ->
  sig type 'a t = 'a FM.t val to_seq : 'a t -> 'a sequence end