()
a = MkT (1 : (_t1::[Integer]))