Module type Monad.Syntax

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