main @= fn() { foo : [3]fn()fn([42]fn()); bar : [3]fn([37]fn(int)int); foo + bar; };