let pair x y = (x,y)