Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / polykinds / T9200b.stderr
1
2 T9200b.hs:8:5: error:
3     • Expected kind ‘k’, but ‘True’ has kind ‘Bool’
4     • In the first argument of ‘F’, namely ‘True’
5       In the type family declaration for ‘F’