---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/unapplied_eta.bend
---
@Id = (a a)

@main = a
  & @Id ~ a