This module exposes a writable type WritableTuple which is a simple
newtype wrapper around a tuple.

The idea is that, given a tuple (a, b), a is the value you actually want
to save to the disk, and b is some additional info that you don't want to
save, but that you need later, for example in a require clause.