Inhabited

typeclass I: Inhabited {
    default: I
}

A type with a distinguished default element.

GitHub

---

default

default: I

A distinguished element of the type.