empty = (0, False)

-- In Haskell this works because cons is polymorphic

cons x r =  (1, (x,r))

list = cons 1 (cons 2 (cons 3 empty))
--