diff --git a/core/CCOpt.ml b/core/CCOpt.ml
index 6ed63e5f..07be2451 100644
--- a/core/CCOpt.ml
+++ b/core/CCOpt.ml
@@ -64,6 +64,8 @@ let flat_map f o = match o with
   | None -> None
   | Some x -> f x
 
+let pure x = Some x
+
 let (<*>) f x = match f, x with
   | None, _
   | _, None -> None
diff --git a/core/CCOpt.mli b/core/CCOpt.mli
index a8d60d6e..2c0e1d4f 100644
--- a/core/CCOpt.mli
+++ b/core/CCOpt.mli
@@ -68,6 +68,9 @@ val sequence_l : 'a t list -> 'a list t
 
 (** {2 Applicative} *)
 
+val pure : 'a -> 'a t
+(** Alias to {!return} *)
+
 val (<*>) : ('a -> 'b) t -> 'a t -> 'b t
 
 val (<$>) : ('a -> 'b) -> 'a t -> 'b t