Suppose we have two custom types, both derived from string, and two corresponding variables.
type A = string; let a: A = "a"; type B = string; let