let compose _x1 y1 (x2, y2) = (1 + x2), (y1 + y2)