Soteria_std.SyntaxesMonad syntax extensions for various container types.
module List : Soteria_std.Monad.Syntax with type 'a t := 'a listSyntax extension for monads (let* and let+).
module Option : sig ... endmodule Result :
Soteria_std.Monad.Syntax2 with type ('a, 'b) t := ('a, 'b) resultSyntax extension for two-parameter monads.
module FunctionWrap : sig ... end