functor (C : COLLECTION) ->
  sig
    type 'a t = 'a C.t
    type ('a, 'b) op
    val apply : ('a, 'b) op -> 'a t -> 'b t
    val apply_fold : ('a, 'b) op -> ('c -> 'b -> 'c) -> 'c -> 'a t -> 'c
    val apply' : 'a t -> ('a, 'b) op -> 'b t
    val id : ('a, 'a) op
    val map : ('a -> 'b) -> ('a, 'b) op
    val filter : ('a -> bool) -> ('a, 'a) op
    val filter_map : ('a -> 'b option) -> ('a, 'b) op
    val flat_map : ('a -> 'b t) -> ('a, 'b) op
    val extern : ('a t -> 'b t) -> ('a, 'b) op
    val compose : ('b, 'c) op -> ('a, 'b) op -> ('a, 'c) op
    val ( >>> ) : ('a, 'b) op -> ('b, 'c) op -> ('a, 'c) op
  end