Module type Monad.Syntax3

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