Why Algebraic Effects?

Achieving Safe, Aliasable Mutability with Unboxed Types

Algebraic effects, ownership, and borrowing

Ante: A low-level functional language