index template
type-safe values