Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / T4875.stderr
1
2 T4875.hs:27:24: error:
3     • Expected kind ‘* -> *’, but ‘r’ has kind ‘*’
4     • In the type signature: multiplicities :: r c -> [c]
5       In the class declaration for ‘Morphic’