adamc@241: val id1 = fn n : int => n
adamc@241: val id2 = fn n => id1 n
adamc@241: 
adamc@241: val pair1 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) => (x1, x2)
adamc@241: val pair2 = fn (t1 ::: Type) (t2 ::: Type) (x1 : t1) (x2 : t2) () => pair1 x1 x2