Zero

typeclass A: Zero {
    0: A
}

The "Zero" typeclass represents anything that has an additive identity element.

GitHub

---