struct {

T = Fn<a, b, c>(z: Fn(<>, <a>, b), y: Fn(<>, <b>, c)) -> Fn(<>, <a>, c) {
	return Fn<>(h: a) -> c {
		return y(z(h));
	};
};

} main;