The type of the values themselves: this type with no encoding at any depth — this, where it has none.
this