sig type 'a t val to_seq : 'CCCat.FOLDABLE.t -> 'CCCat.sequence end