Provide example for type-safe writing product attribute.