tagged

Values carrying an extra phantom type tag.