path: root/testsuite/tests/polykinds/T15804.stderr

T15804.hs:5:12: error:
    • Expected a type, but ‘a :: k’ has kind ‘k’
    • In the kind ‘(a :: k) -> *’
      In the data type declaration for ‘T’