path: root/testsuite/tests/typecheck/should_fail/T15816.stderr

T15816.hs:8:1: error:
    • Cannot apply function of kind ‘*’
      to visible kind argument ‘Int’
    • In the data instance declaration for ‘U’