module Caml : sig ... endmodule Align : sig ... endZip datatypes with non-uniform shapes using These.t
module Applicative : sig ... endApplicative functors
module Either : sig ... endmodule Fn : sig ... endVarious function combinators
module Foldable : sig ... endFoldable signatures
module Functor : sig ... endFunctors
module Id : sig ... endmodule List : sig ... endList data type
module Monad : sig ... endMonads
module Monoid : sig ... endMonoids
module Option : sig ... endmodule Reader : sig ... endmodule Semigroup : sig ... endSemigroups
module State : sig ... endmodule These : sig ... endmodule Traversable : sig ... endTraversable signatures
module Validation : sig ... endA data-type like Either but with an error-accumulating Applicative
module Vector : sig ... endEfficient persistent vectors based on RRB-Trees
module Void : sig ... endmodule Writer : sig ... endWriter monad
module Internal : sig ... end