Module type CCCat.MONAD_BARE

module type MONAD_BARE = sig .. end

type +'a t 

val return : 'a -> 'a t

val (>>=) : 'a t ->
       ('a -> 'b t) -> 'b t