export type TypeCheck<T> = (value: unknown) => value is T;