export type Pass = true;
export type Fail = false;