Module type Kxclib.Monadic

type _ t
val return : 'x -> 'x t
val bind : 'x t -> ('x -> 'y t) -> 'y t