One

typeclass A: One {
    1: A
}

The "One" typeclass represents anything that has a multiplicative identity element.

GitHub

---