module x;
export { type foo: record { a: count; }; }

module y;

function bar(f: x::foo)
	{
	print f$z;
	}