# `type.setting_value`

Setting has the wrong kind of value.

Area 2, [Values and types](../topics/values-and-types.md); not declinable; the next step is usually the agent's.

A setting with a fixed set of options takes an enum value, `Type.value`; quantities take numbers of the right kind:

```jadpo
type ContactEmail = Text {
    format: email
}
```

```text
error: `format` takes a `TextFormat` value, such as `TextFormat.email`
 --> main.jadpo:2:13
  |
2 |     format: email
  |             ^^^^^ a name here
  reason: `format` is a constraint, and its value must be a `TextFormat` value, such as `TextFormat.email`.
  next: Write `TextFormat.email` (agent)
  rule: type.setting_value
  help: https://jadpo.dev/docs/errors/type.setting_value

check failed: 1 error, 1 file
```