:type \x. \y. \z. x + y / z