Out of curiosity, what's the `value` of a `type`?