for example you could provide a subclass of [Mutab...

# language-proposals

[mikehearn]

for example you could provide a subclass of [Mutable]List like NonEmpty[Mutable]List that doesn't provide any extra features, it's just a type system marker. and then you could have a .notEmpty() inline extension function that does a downcast to NonEmptyList