Creating a subclass of `Data.TaggedError` with a specific set of properties can be tricky due to ...

export interface DataErrorProps {
  title: string;
  message: string;
  details?: string[];
}

export type DataErrorClass<A extends DataErrorProps, Tag extends string> = new (
  args: A,
) => InstanceType<ReturnType<typeof Data.TaggedError<Tag>>> & Readonly<A>;

export const DataError = <A extends DataErrorProps, Tag extends string>(
  tag: Tag,
): DataErrorClass<A, Tag> =>
  class ConcreteDataError extends Data.TaggedError(
    tag,
  ) {} as unknown as DataErrorClass<A, Tag>;

export const TaggedError = <Tag extends string>(tag: Tag): new<A extends Record<string, any> = {}>(
  args: Types.Equals<A, {}> extends true ? void
    : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P] }
) => Cause.YieldableError & { readonly _tag: Tag } & Readonly<A> => {
  const O = {
    BaseEffectError: class extends Error<{}> {
      readonly _tag = tag
    }
  }
  ;(O.BaseEffectError.prototype as any).name = tag
  return O.BaseEffectError as any
}