change the tuple-type notation