Predicate

class Object

trait Matchable

class Any

class And

class Eq

class Exists

object False.type

class Neq

class Not

class Or

object True.type