Types tell one story: what success looks like.
Traits tell another: what capabilities exist and how they compose.
Errors are the missing half of the map: how those capabilities actually fail in the real world.
If types are the coordinates of valid states, errors are the geography of refusal: