module Filter_mappable : sig ... endSimultaneous mapping and filtering.
module Filter_mappable_intf : sig ... endmodule Mappable : sig ... endNon-monadic mapping.
module Mappable_intf : sig ... endmodule Monad_transform : sig ... endMonad transformer signatures.
module Singleton : sig ... endLifting a item to a singleton container.
module State : sig ... endHaskell-style state monads.
module State_intf : sig ... endmodule State_transform : sig ... endHaskell-style state transformers.
module State_transform_intf : sig ... endmodule T_container : sig ... endExtensions for containers.
module T_fn : sig ... endMiscellaneous function combinators.
module T_list : sig ... endList extensions.
module T_monad : sig ... endGeneric monad extensions.
module T_option : sig ... endOption extensions.
module T_or_error : sig ... endOr-error monad extensions.
module Traversable : sig ... endMonadic traversal.
module Traversable_intf : sig ... endmodule Types_intf : sig ... end