Solve `Inhabited T` automatically when `T` is in scope
We could extend the Inhabited
typeclass with a low-priority Hint Extern
that does something like constructor; assumption
. This way, when one has t: T
in scope, Inhabited T
is resolved automatically, which can be quite useful.
However, there is the concern that sometimes the Inhabited
witness can be computationally relevant.