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