Shameless plug, but that is very similar to the immer::box type in this library of immutable data-structures: https://sinusoid.es/immer/containers.html#box