More wibbles

compiler/GHC/Core/Opt/Simplify/Iteration.hs

compiler/GHC/Core/Type.hs

compiler/GHC/Tc/Errors.hs

compiler/GHC/Tc/Errors/Ppr.hs

compiler/GHC/Tc/Solver/Equality.hs

compiler/GHC/Tc/Types/Constraint.hs

compiler/GHC/Tc/Utils/Concrete.hs

compiler/GHC/Tc/Utils/TcMType.hs

compiler/GHC/Tc/Utils/Unify.hs

testsuite/tests/indexed-types/should_fail/T8518.stderr

testsuite/tests/partial-sigs/should_compile/T10403.stderr

testsuite/tests/partial-sigs/should_fail/T14584.stderr

testsuite/tests/polykinds/T14939.hs

testsuite/tests/polykinds/T18451a.stderr

testsuite/tests/rep-poly/T13929.stderr

...uite/tests/typecheck/should_compile/PolytypeDecomp.stderr

testsuite/tests/typecheck/should_compile/T13651.stderr

testsuite/tests/typecheck/should_fail/T16512a.stderr

testsuite/tests/typecheck/should_fail/T7869.stderr