export type A = "a";