Proof

final class Proof[A]
Companion
object
class Object
trait Matchable
class Any