-- Type where we specify the shape of each of the elements

-- Algebraic operations 
-- "sum" is alternation (A | B, meaning A or B but not both)
-- "product" is combination (A B, meaning A and B together)
data Pair = P Int Double -- Pair of numbers, an Int and a Double
data Pair = I Int | D Double -- Either an Int or a double



