struct {

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

} main;