type DiscriminatedUnionError<
  Key extends string = string,
  Expected extends Literal = Literal,
  MemberIssue extends DiscriminatedUnionMemberIssue =
    DiscriminatedUnionMemberIssue<Expected>,
> =
  | DiscriminatedUnionObjectError
  | DiscriminatedUnionPropertyAccessError<Key>
  | DiscriminatedUnionDiscriminatorError<Key, Expected>
  | DiscriminatedUnionMemberError<MemberIssue>;