struct {

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

T2 = Fn<b>(a: b) -> b {
	return a;
};

T3 = Fn<c>(a: c) -> c {
	return T2<c>(T2<c>(T1<c>(a)));
};

} main;