1 2 3 4 5 6
==================== Strictness signatures ==================== HyperStrUse.$trModule: m HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>m