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