type InferErrors<T> =
  T extends Type<any, any, any, infer Error, any, infer ParentError>
    ? Error | ParentError
    : never;