class T extends AnyRef;
class S extends T with Object;