Wibbles to notes
[ghc.git] / compiler / typecheck / Flattening-notes
1 ToDo:
2
3 * inert_funeqs, inert_eqs: keep only the CtEvidence.
4    They are all CFunEqCans, CTyEqCans
5
6 * Consider individual data types for CFunEqCan etc
7
8 * Collapse CNonCanonical and CIrredCan
9