let pair a b = Pair (a, b)