Proof

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