struct {

T1 = Fn<A, B>(h: A, y: B) -> A {
	z = y;
	z = h;
	return z;
};
} main;