Using Phantoms to Enforce Memory Access

Restrict the availability of methods based on the current state of a type.