Data structure variants with run-time sanity checks for debugging
UnsafeCell<MaybeUninit<T>>
Maybe<T>
Drop