HasDefault

A type class saying some default value is provided for a type. This is often a convention, such as "zero" for numeric types, or "empty" for containers etc. It is used to avoid having to initialize objects with explicit default values, but care must be taken to take those conventional defaults into account.

Note that the class in no covariant in A, as this causes selectivity problems with, for example, Span and SpanLike.