Module type Monad_intf.Syntax_indexed

type ('a, 'i, 'j) t
module Let_syntax : sig ... end