Monad_plus.WITH_KLEISLI_COMPOSITION
Minimal definition using neutral
, combine
, return
, compose_left_to_right
.
include Indexed_monad.WITH_RETURN_AND_KLEISLI_COMPOSITION
with type ('a, 'index) t := 'a t
include Indexed_monad.WITH_RETURN with type ('a, 'index) t := 'a t
val return : 'a -> 'a t
Lift a value into a t
.