Module type Monad.Syntax

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

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