testsuite/tests/polykinds/T14555.stderr


1
2
3
4
5
6


T14555.hs:12:34: error:
    • Expected kind ‘TYPE rep’, but ‘a -> b’ has kind ‘*’
    • In the second argument of ‘Exp’, namely ‘(a -> b)’
      In the type ‘Exp xs (a -> b)’
      In the definition of data constructor ‘Lam’