struct {

T1 = Fn<A>(h1: A) -> A {
	h2 = h1;
	return h2;
};

} main;