==================== Strictness signatures ==================== T18086.$trModule: T18086.m: x T18086.panic: x ==================== Cpr signatures ==================== T18086.$trModule: T18086.m: b T18086.panic: ==================== Strictness signatures ==================== T18086.$trModule: T18086.m: x T18086.panic: x