flowchart TB
  0[/"type: 1<br/>node: 1"/]
  1["type: Effect#lt;number, never, never#gt;<br/>callee: Effect.succeed<br/>args: #91;#93;"]
  2[/"type: #lt;A#gt;#40;value: A#41; =#gt; Effect#lt;A, never, never#gt;<br/>node: Effect.succeed"/]
  3["type: Effect#lt;number, never, never#gt;<br/>callee: Effect.map<br/>args: #91;#40;n#41; =#gt; n + 1#93;"]
  4[/"type: #123; #lt;A, B#gt;#40;f: #40;a: A#41; =#gt; B#41;: #lt;E, R#gt;#40;self: Effect#lt;A, E, R#gt;#41; =#gt; Effect#lt;B, E, R#gt;; #lt;A, E, R, B#gt;#40;self: Effect#lt;A, E, R#gt;, f: #40;a: A#41; =#gt; B#41;: Effect#lt;B, E, R#gt;; #125;<br/>node: Effect.map"/]
  5[["type: #40;n: number#41; =#gt; number<br/>node: #40;n#41; =#gt; n + 1"]]
  6[/"type: number<br/>node: n + 1"/]
  7["type: number<br/>callee: Effect.runSync<br/>args: #91;#93;"]
  8[/"type: #lt;A, E#gt;#40;effect: Effect#lt;A, E, never#gt;#41; =#gt; A<br/>node: Effect.runSync"/]
  9[["type: #lt;A#gt;#40;effect: Effect#lt;A, never, never#gt;#41; =#gt; Effect#lt;A, never, never#gt;<br/>node: #lt;A#gt;#40;effect: Effect.Effect#lt;A#gt;#41; =#gt; Effect.tap#40;effect, #40;a#41; =#gt; Effect.log#40;`Got: $#123;a#125;`#41;#41;"]]
  10[/"type: Effect#lt;A, never, never#gt;<br/>node: effect"/]
  11["type: Effect#lt;A, never, never#gt;<br/>callee: <br/>args: #91;#93;"]
  12[/"type: #123; #lt;A, B, E2, R2#gt;#40;f: #40;a: NoInfer#lt;A#gt;#41; =#gt; Effect#lt;B, E2, R2#gt;#41;: #lt;E, R#gt;#40;self: Effect#lt;A, E, R#gt;#41; =#gt; Effect#lt;A, E #124; E2, R #124; R2#gt;; #lt;B, E2, R2#gt;#40;f: Effect#lt;B, E2, R2#gt;#41;: #lt;A, E, R#gt;#40;self: Effect#lt;A, E, R#gt;#41; =#gt; Effect#lt;A, E #124; E2, R #124; R2#gt;; #lt;A, E, R, B, E2, R2#gt;#40;self: Effect#lt;A, E, R#gt;, f: #40;a: NoInfer#lt;A#gt;#41; =#gt; Effect#lt;B, E2, R2#gt;#41;: Effect#lt;A, E #124; E2, R #124; R2#gt;; #lt;A, E, R, B, E2, R2#gt;#40;self: Effect#lt;A, E, R#gt;, f: Effect#lt;B, E2, R2#gt;#41;: Effect#lt;A, E #124; E2, R #124; R2#gt;; #125;<br/>node: Effect.tap"/]
  13[["type: #40;a: NoInfer#lt;A#gt;#41; =#gt; Effect#lt;void, never, never#gt;<br/>node: #40;a#41; =#gt; Effect.log#40;`Got: $#123;a#125;`#41;"]]
  14[/"type: string<br/>node: `Got: $#123;a#125;`"/]
  15["type: Effect#lt;void, never, never#gt;<br/>callee: Effect.log<br/>args: #91;#93;"]
  16[/"type: #40;...message: readonly any#91;#93;#41; =#gt; Effect#lt;void, never, never#gt;<br/>node: Effect.log"/]
  17[/"type: 1<br/>node: 1"/]
  18["type: Effect#lt;number, never, never#gt;<br/>callee: Effect.succeed<br/>args: #91;#93;"]
  19[/"type: #lt;A#gt;#40;value: A#41; =#gt; Effect#lt;A, never, never#gt;<br/>node: Effect.succeed"/]
  20["type: Effect#lt;number, never, never#gt;<br/>callee: Effect.map<br/>args: #91;#40;n#41; =#gt; n + 1#93;"]
  21[/"type: #123; #lt;A, B#gt;#40;f: #40;a: A#41; =#gt; B#41;: #lt;E, R#gt;#40;self: Effect#lt;A, E, R#gt;#41; =#gt; Effect#lt;B, E, R#gt;; #lt;A, E, R, B#gt;#40;self: Effect#lt;A, E, R#gt;, f: #40;a: A#41; =#gt; B#41;: Effect#lt;B, E, R#gt;; #125;<br/>node: Effect.map"/]
  22[["type: #40;n: number#41; =#gt; number<br/>node: #40;n#41; =#gt; n + 1"]]
  23[/"type: number<br/>node: n + 1"/]
  24["type: Effect#lt;number, never, never#gt;<br/>callee: wrapWithLog<br/>args: #91;#93;"]
  25[/"type: #lt;A#gt;#40;effect: Effect#lt;A, never, never#gt;#41; =#gt; Effect#lt;A, never, never#gt;<br/>node: wrapWithLog"/]
  0 -->|"kind: pipe"| 1
  2 -->|"kind: transformCallee"| 1
  4 -->|"kind: transformCallee"| 3
  6 -->|"kind: potentialReturn"| 5
  5 -->|"kind: transformArg"| 3
  1 -->|"kind: pipe"| 3
  3 -->|"kind: pipe"| 7
  8 -->|"kind: transformCallee"| 7
  10 -->|"kind: pipe"| 11
  12 -->|"kind: transformCallee"| 10
  14 -->|"kind: pipe"| 15
  16 -->|"kind: transformCallee"| 15
  15 -->|"kind: potentialReturn"| 13
  13 -->|"kind: transformArg"| 10
  11 -->|"kind: potentialReturn"| 9
  17 -->|"kind: pipe"| 18
  19 -->|"kind: transformCallee"| 18
  21 -->|"kind: transformCallee"| 20
  23 -->|"kind: potentialReturn"| 22
  22 -->|"kind: transformArg"| 20
  18 -->|"kind: pipe"| 20
  20 -->|"kind: pipe"| 24
  25 -->|"kind: transformCallee"| 24