export declare const nominalTag: unique symbol

type UniqueTypes = string | number | symbol | boolean

/**
 * Needs no validation nominal types
 * (allows the base type T to be uplifted without a cast)
*/
export type Unique<T, M extends UniqueTypes> = T & { [nominalTag]?: M }

/**
 * Validated nominal type
 * (requires the base type T to be uplifted with a cast, ideally after validation)
*/
export type Validated<T, M extends UniqueTypes> = T & { [nominalTag]: M }