No, we coalesce the two domains into a single type specification for presentation.