Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14520.stderr
1
2 T14520.hs:15:24: error:
3     • Expected kind ‘bat w w’, but ‘Id’ has kind ‘XXX (XXX kat0 b0) b0’
4     • In the first argument of ‘Sing’, namely ‘(Id :: bat w w)’
5       In the type signature: sId :: Sing w -> Sing (Id :: bat w w)