Join

typeclass A: Join {
    join: (A, A) -> A
}

A type with a binary join operation.

GitHub

---

join

join: (A, A) -> A

The binary least upper bound operation.