Fix warning
Continue reversion of heterogeneous (~)
Merge branch 'nokinds' into nokinds-prom-gadt
More knock-on effects of homogeneous eqTyCon
Merge branch 'nokinds' into nokinds-prom-gadt