Status

class Object

trait Matchable

class Any

object Proof

object True

object False

object Undecided

class Exception