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