Id

type Id<T extends Model> = OpaqueId<
  T["CanonicalPKType"],
  T["UnderlyingPKType"]
>;