A type whose definition depends on a value.