Fix #16188
[ghc.git] / testsuite / tests / typecheck / should_fail / T16204c.stderr
1
2 T16204c.hs:16:8: error:
3     • Couldn't match kind ‘Rep’ with ‘*’
4       When matching types
5         a0 :: Rep
6         a :: *
7       Expected type: Sing a
8         Actual type: Sing a0
9     • In the first argument of ‘id’, namely ‘sTo’
10       In the expression: id sTo
11       In an equation for ‘x’: x = id sTo
12     • Relevant bindings include x :: Sing a (bound at T16204c.hs:16:1)