type T
i1 : T = triplet({1,2,3}, {0,2}, {0,2,3}) o1 = {{1, 2, 3}, {0, 2}, {0, 2, 3}} o1 : Triplet
i2 : type(T) o2 = 3