Module type CCCat.FOLDABLE

module type FOLDABLE = sig .. end

type 'a t 

val to_seq : 'a t -> 'a CCCat.sequence