let
pair a b =
Pair
(a, b)