testsuite/tests/polykinds/T18451.stderr


1
2
3
4
5
6
7
8
9


T18451.hs:10:58: error:
    • Expected kind ‘k0’, but ‘b’ has kind ‘k’
    • In the second argument of ‘SameKind’, namely ‘b’
      In the type ‘forall (b :: k). SameKind a b’
      In the type declaration for ‘T’
    • Type variable kinds:
        a :: k0
        k :: Const (*) a