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.