summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11399.stderr
blob: 31ccdf80b5d1baf9045ce4183b25e78118f197fb (plain)
1
2
3
4
5
6
7
8
9

T11399.hs:7:32: error:
    • Couldn't match kind ‘*’ with ‘GHC.Types.Levity’
      When matching kinds
        k :: * -> *
        TYPE :: GHC.Types.Levity -> *
      Expected kind ‘* -> *’, but ‘UhOh k’ has kind ‘k * -> *’
    • In the first argument of ‘Functor’, namely ‘UhOh k’
      In the instance declaration for ‘Functor (UhOh k)’