Introduction
Bidirectionality
Type Synonyms
Request and Respond
Composition
The Proxy Class
Interleaving Effects
Mixing Base Monads
Utilities
Mix Monads and Composition
Folds
Resource Management
Extensions
Error handling
Local state
Branching, zips, and merges
Proxy Transformers
Conclusion