scl/Tuples.scl

   1 id0 () = ()
   2
   3 id0A :: () -> ()
   4 id0A () = ()
   5
   6 id2 (a,b) = (a,b)
   7
   8 id2A :: (a,b) -> (a,b)
   9 id2A (a,b) = (a,b)
  10
  11 id3 (a,b,c) = (a,b,c)
  12
  13 id3A :: (a,b,c) -> (a,b,c)
  14 id3A (a,b,c) = (a,b,c)
  15
  16 main = id3 (1 :: Integer,id0 (),3 :: Integer)
  17 --
  18 (1,(),3)