type A = "a";
type B = "b"
type C = `${A B}bcd`
type D = `${A B`