Types

Composition

Modularity

Vertical Concatenation

Return Values

Termination

Resource Management

Frames

Frame Composition

Frame vs. Ensure

Folds

Strictness