let f = (a1: a, a2: b): z -> w => {
	return (a3: a): b => {
		return 3.14
	}
}