existentials

sealed trait existentials
class Object
trait Matchable
class Any
object existentials.type