opening a module of this type allows one to use the %bind and %map syntax extensions defined by ppx_let, as well as brings return into scope
%bind
%map
return
type 'a t
module Let_syntax : sig ... end