export { Awaited } from './Awaited';
export { Const } from './Const';
export { DiscriminateUnion } from './DiscriminateUnion';
export { Flatten } from './Flatten';
export { Id } from './Id';
export { InstanceOf } from './InstanceOf';
export { Matches } from './Matches';
// export { PrototypeOf } from './PrototypeOf';
export { TypesEqual } from './TypesEqual';
export { Widen } from './Widen';
export { Xor } from './Xor';

/**
 * Type functions related to types and type checks in general.
 * @preferred
 */

// export type Lambda<K> = any;
// export type TypeMap<F extends Lambda, Keys extends string> = Pick<F, Keys>[Keys];
// // nope, no type lambdas -- can't have unapplied types