example now (informally) use a type description in the key