Module type Monad.Syntax2

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