type A = unique symbol;
type B = keyof something;