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