testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr


1
2
3
4
5
6


TyFamArity1.hs:4:23: error:
    • Expecting one more argument to ‘IO’
      Expected a type, but ‘IO’ has kind ‘* -> *’
    • In the type ‘IO’
      In the type instance declaration for ‘T’