// io ::= nms {
// #include "std/io.toc";
// };

// p ::= struct(x::Type,y::=3) {
//   b:int;
// };

foo ::= fn(x::int) Type {
	[x]int
};

z ::= fn(a::=,b:foo(a)) {
};

main ::= fn() {
	 n:foo(3);
	 z(n);
};