export type Equal<X, Y> = X extends Y ? true : false;