Module type Monad_intf.Syntax2

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