testsuite/tests/polykinds/T16902.stderr


1
2
3
4
5
6
7
8
9


T16902.hs:11:10: error:
    • Couldn't match kind ‘k’ with ‘*’
      When matching kinds
        a :: k
        k :: *
    • In the type ‘F a’
      In the definition of data constructor ‘MkF’
      In the data declaration for ‘F’