export type Cast<VALUE, CONSTRAINT> = VALUE extends CONSTRAINT ? VALUE : CONSTRAINT;