--- source: tests/golden_tests.rs input_file: tests/golden_tests/run_file/imp_empty_literals.bend --- NumScott: λa (a List/Nil/tag) Scott: λa λ* a