testsuite/tests/polykinds/T5716.stderr


1
2
3
4
5
6
7


T5716.hs:13:33: error:
    • Data constructor ‘U1’ cannot be used here
        (perhaps you intended to use TypeInType)
    • In the first argument of ‘I’, namely ‘(U1 DFInt)’
      In the type ‘I (U1 DFInt)’
      In the definition of data constructor ‘I1’