<?php trait Eq { abstract public function equiv(Eq $lhs, Eq $rhs): bool; } class Number { use Eq; public function __construct(public int $value) {} public function equiv(int $lhs, int $rhs): bool { return $lhs === $rhs; } }