@Contract("-> new")
  @NotNull
  private DFAType copy() {
    final DFAType type = new DFAType(primary);
    type.mixins.addAll(mixins);
    return type;
  }
@Contract("-> new")
  @NotNull
  private DFAType copy()