Dependency Graphs to Model Effects in a Pure Functional System

A dependency graph shows how effects in your system depend on each other. You get to sort of see the applicatives and monads visually in the graph. If you see a bunch of effects that are just siblings of each other, you know that they will be combined applicatively. It's not without its downsides. But I sure like the idea of being able to have that reflected in my types.