A value which is initialized on the first access.
A cell which can be written to only once. It is not thread safe.