export declare const typeOf: <T>() => T

export type Extract<T> = T extends infer O ? { [K in keyof O]: O[K] } : never

export type IsAny<T> = 0 extends 1 & T ? true : false

export type NoData = void

export type Normalize<T, A> = IsAny<T> extends false
  ? NormalizeUnknown<NormalizeUndefined<T, A>, A>
  : T

export type RecordVal<R> = R extends Record<infer K, infer V> ? V : never

export type Tagged<T, D> = { tag: T; data: D }

export type Tuple<T> =
  | []
  | [T]
  | [T, T]
  | [T, T, T]
  | [T, T, T, T]
  | [T, T, T, T, T]
  | [T, T, T, T, T, T]
  | [T, T, T, T, T, T, T]
  | [T, T, T, T, T, T, T, T]
  | [T, T, T, T, T, T, T, T, T]
  | [T, T, T, T, T, T, T, T, T, T]

export type TupleToUnion<T extends any[]> = T[number]

export type Union<T> = T[keyof T]

export declare const tag: {
  <Tag extends string, Data>(tag: Tag, data: Data): Tagged<Tag, Data>
  <Tag extends string>(tag: Tag): Tagged<Tag, void>
}