Module type Monad.Syntax_indexedSource

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