An algebra is just a type
τwith some functions and identities. These functions take differing numbers of arguments of type
τand produce a
τ; uncurried, they all look like
(τ, τ,…, τ) → τ. They can also have "identities"—elements of
τthat have special behavior with some of the functions
Rest of the article here.