The typical strategy for doing that in a context like this is string interning. That's literally what most of the types described in the post are doing behind

The typical strategy for doing that in a context like this is string interning. That's literally what most of the types described in the post are doing behind the scenes, in one form or another. The post is literally about doing your suggestion -- just using a library to do so, and leveraging the type system to reduce some of the boilerplate.