Identity — a trivial container carrying a single tagged value.
Covariant in T (<out T>). isSame takes Identity<unknown> so that
cross-type equality checks (semantically always false for unrelated types)
don't block variance — mirroring the contains(unknown) pattern used on
List/Set/Map.
Identity — a trivial container carrying a single tagged value. Covariant in T (
<out T>).isSametakesIdentity<unknown>so that cross-type equality checks (semantically alwaysfalsefor unrelated types) don't block variance — mirroring thecontains(unknown)pattern used on List/Set/Map.