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