"The default superclass when no superclass is explicitly specified using `extends`. For the sake of convenience, this class inherits [[Identifiable]] along with its [[default definition|Identifiable.equals]] of value equality. Classes which aren't `Identifiable` should directly extend [[Object]]." by ("Gavin") tagged("Basic types") shared abstract class Basic() extends Object() satisfies Identifiable {}