Module type Monad.Syntax_local

type 'a t
module Let_syntax : sig ... end