let R = λx y.
	let
		f = R x
		g = R y
	in f g
in R