Simplification Through Addition
Algebraic Effects, Ownership, and Borrowing
Achieving Safe, Aliasable Mutability with Unboxed Types