==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <1!L><1!L>
T12370.foo: <1!P(1!L,1!L)>



==================== Cpr signatures ====================
T12370.$trModule:
T12370.bar: 1
T12370.foo: 1



==================== Strictness signatures ====================
T12370.$trModule:
T12370.bar: <1!L><1!L>
T12370.foo: <1!P(1!L,1!L)>