λx, y, z. x + y / z : 𝔽 → 𝔽 → 𝔽 → 𝔽