existentials

@languageFeature("#, which cannot be expressed by wildcards,", enableRequired = false) sealed
class Object
trait Matchable
class Any