Use different types for compartmentalization tags.