ocaml-basics
OBMonad.Make1
module K : Kernel1
type 'a t = 'a K.t
module Core : sig ... end
include module type of struct include Core end
val return : 'a -> 'a K.t
val bind : 'a K.t -> ('a -> 'b K.t) -> 'b K.t
module Infix : sig ... end