But do you want this extractor in addition to `IsId.unapply`? Don’t they do the same thing?

```scala
DRef(...) match {
  case DId(id) => …
}
```

Matching DId on a DRef feels confusing to me.