Module test.eff.violation.nested_a.

Rule inner_io, produce. It performs io [Http]:
  Return Http.get("/ping").

Rule middle_cpu, produce. It performs cpu:
  Return inner_io().

Rule outer_pure, produce:
  Return middle_cpu().