main :- fn () { bar := fn (x: int, y: int, z: float) float { foo :- fn () { x:=7+y; }; }; };