fun multiply (x, y) = x * y