Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14723.hs
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds