testsuite/tests/polykinds/T7278.stderr


1
2
3
4
5
6
7
8


T7278.hs:9:43: error:
    • Expected kind ‘* -> * -> *’, but ‘t’ has kind ‘k’
      ‘k’ is a rigid type variable bound by
        the type signature for ‘f’
        at T7278.hs:9:1-49
    • In the type signature:
        f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0