export declare const addTag: ((tag: string) => <A>(self: Thing<A>) => Thing<A>) &
  (<A>(self: Thing<A>, tag: string) => Thing<A>)

export declare const mapValue: (<A, B>(f: (value: A) => B) => (self: Thing<A>) => Thing<B>) &
  (<A, B>(self: Thing<A>, f: (value: A) => B) => Thing<B>)

export declare const make: <A>(input: internal.ThingInput<A>) => internal.Thing<A>

export interface Thing<A> extends internal.Thing<A> {}

export type ThingInput<A> = internal.ThingInput<A>

export declare const isThing: (u: unknown) => u is internal.Thing<unknown>

export declare const TypeId: typeof internal.TypeId

export type TypeId = internal.TypeId