LAWS_LEFT_DISTRIBUTIVITY (preface.Preface_laws.Indexed_monad_plus.LAWS_LEFT

type ('a, 'index) t

include Indexed_monad.LAWS with type ('a, 'index) t := ('a, 'index) t

include Indexed_bind.LAWS with type ('a, 'index) t := ('a, 'index) t

include Indexed_functor.LAWS with type ('a, 'index) t := ('a, 'index) t

val functor_1 : unit -> (('a, 'index) t, ('a, 'index) t) Law.t

val functor_2 : 
  unit ->
  ('a -> 'b, ('c -> 'a) -> ('c, 'index) t -> ('b, 'index) t) Law.t

val bind_1 : 
  unit ->
  (((('a, 'index) t, 'index) t, 'index) t, ('a, 'index) t) Law.t

val bind_2 : 
  unit ->
  ('a -> 'b, (('a, 'index) t, 'index) t -> ('b, 'index) t) Law.t

val bind_3 : 
  unit ->
  (('a, 'index) t,
    ('a -> ('b, 'index) t) ->
    ('b -> ('c, 'index) t) ->
    ('c, 'index) t)
    Law.t

val bind_4 : 
  unit ->
  ('a ->
    ('b, 'index) t,
    ('b -> ('c, 'index) t) ->
    ('c -> ('d, 'index) t) ->
    'a ->
    ('d, 'index) t)
    Law.t

val monad_1 : unit -> (('a, 'index) t, ('a, 'index) t * ('a, 'index) t) Law.t

val monad_2 : unit -> ('a -> 'b, 'a -> ('b, 'index) t) Law.t

val monad_3 : unit -> ('a, ('a -> ('b, 'index) t) -> ('b, 'index) t) Law.t

val monad_4 : unit -> (('a, 'index) t, ('a, 'index) t) Law.t

val monad_5 : unit -> ('a, ('a -> ('b, 'index) t) -> ('b, 'index) t) Law.t

val monad_6 : unit -> ('a, ('a -> ('b, 'index) t) -> ('b, 'index) t) Law.t

val monad_plus_left_distrib_1 : 
  unit ->
  (('a, 'index) t, ('a, 'index) t -> ('a -> ('b, 'index) t) -> ('b, 'index) t)
    Law.t