Had another thought. Technically the union type isn’t a concrete type in that it can’t be instantiated. Products are only ever concrete types.