# `type.not_a_value`

Declaration named where a value is read.

Area 3, [Logic](../topics/logic.md); not declinable; the next step is usually the agent's.

```jadpo
type Count = Int {
    min: 0
}

type Placed = Object {
    count: Count
}

function first_placed() -> Placed {
    var placed: Placed = Placed
    return placed
}
```

```text
error: `Placed` is a type, not a value
 --> main.jadpo:10:26
   |
10 |     var placed: Placed = Placed
   |                          ^^^^^^ a type
  reason: A type says what a value looks like and holds none itself; a value is built with the type's name and every field in a block.
  next: Build a value with `Placed { ... }`, giving each field (agent)
  rule: type.not_a_value
  help: https://jadpo.dev/docs/errors/type.not_a_value

check failed: 1 error, 1 file
```