sig   val ( >>= ) : 'a CCKList.t -> ('a -> 'b CCKList.t) -> 'b CCKList.t   val ( >|= ) : 'a CCKList.t -> ('a -> 'b) -> 'b CCKList.t   val ( <*> ) : ('a -> 'b) CCKList.t -> 'a CCKList.t -> 'b CCKList.t   val ( >>- ) : 'a CCKList.t -> ('a -> 'b CCKList.t) -> 'b CCKList.t   val ( <.> ) : ('a -> 'b) CCKList.t -> 'a CCKList.t -> 'b CCKList.t   val ( -- ) : int -> int -> int CCKList.t   val ( --^ ) : int -> int -> int CCKList.t end