path: root/testsuite/tests/polykinds/T7433.stderr

T7433.hs:2:10:
    Data constructor ‘Z’ cannot be used here
      (Perhaps you intended to use DataKinds)
    In the type ‘Z’
    In the type declaration for ‘T’