(let ((type typeId1 (record m1T m2T m3T)) (type typeId2 (array typeId1))) ())