struct {

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

} main;