Module test.eff.violation.nested_b.

Rule db_query, produce. It performs io [Sql]:
  Return Db.query("SELECT 1").

Rule http_call, produce. It performs io [Http]:
  Return db_query().

Rule top_level, produce. It performs cpu:
  Return http_call().