1.
Introduction
2.
The Main Idea
3.
Access Control
3.1.
Witnesses
3.2.
Guards
4.
State Machines
4.1.
Typestate
4.2.
State Combinators
5.
Parallel Lists
6.
Registries
Light (default)
Rust
Coal
Navy
Ayu
Type-Driven API Design in Rust
State combinators
TODO: talk about session types