Add

typeclass A: Add {
    add: (A, A) -> A
}

The "Add" typeclass just represents anything that has a + operator.

GitHub

---

add

add: (A, A) -> A