Derive handler for
Tries to derive an
inhabited instance for inductives and structures.
@[derive inhabited] structure foo := (a : ℕ := 42) (b : list ℕ)
If the structure/inductive has a type parameter
α, then the generated instance will have an
inhabited α, even if it is not used. (This is due to the implementation using