Actually use dump style when dumping!
Add Outputable instance for PprStyle.
Make sure to reorient CTyEqCans even when their kinds don't equal.
Check for casts after zonking RHS of equalities in canonicalizer.
Remove unused variable
Consider (~R#) as a proxy for Coercible. This is shameful.
Debugging output tracking down zonking loop.