sig
  val ( >|= ) : 'a CCOpt.t -> ('a -> 'b) -> 'b CCOpt.t
  val ( >>= ) : 'a CCOpt.t -> ('a -> 'b CCOpt.t) -> 'b CCOpt.t
  val ( <*> ) : ('a -> 'b) CCOpt.t -> 'a CCOpt.t -> 'b CCOpt.t
  val ( <$> ) : ('a -> 'b) -> 'a CCOpt.t -> 'b CCOpt.t
  val ( <+> ) : 'a CCOpt.t -> 'a CCOpt.t -> 'a CCOpt.t
end