Req (preface.Preface_make.Indexed_bind.Over_functor_via_kleisli

type ('a, 'index) t = ('a, 'index) Functor.t

The type held by the Indexed Bind.

val compose_left_to_right : 
  ('a -> ('b, 'index) t) ->
  ('b -> ('c, 'index) t) ->
  'a ->
  ('c, 'index) t

Composing monadic functions using Kleisli Arrow (from left to right).