lengthGT4 grezzo lazy con tipi