Canonical types don't propagate to parameters #109
Description
The cct algebra has R2(Obj, Reg * Qlt) in the canon set, and yet Reg * Nom is noncanonical.
{{ message }}
The cct algebra has R2(Obj, Reg * Qlt) in the canon set, and yet Reg * Nom is noncanonical.