Module type Monad.Syntax

Opening a module of this type allows one to use the %bind and %map syntax extensions defined by ppx_let, and brings return into scope.

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

These are convenient to have in scope when programming with a monad: