testsuite/tests/polykinds/T15787.stderr


1
2
3
4
5
6
7
8
9


T15787.hs:16:14: error:
    • Expected a type, but ‘k’ has kind ‘ob1’
      ‘ob1’ is a rigid type variable bound by
        the type signature for ‘Kl’
        at T15787.hs:16:3-43
    • In the type ‘k’
      In the definition of data constructor ‘Kl’
      In the data declaration for ‘Kl_kind’