- Annotated example of the translated code - How to integrate other future systems - Compare / contrast with applicative DSL approaches like `monadless` / `effectful`