A1

trait A1
class Object
trait Matchable
class Any
trait B1
class C1[A, B, C]
class E1
class E2
trait B2