testsuite/tests/typecheck/should_fail/T11464.stderr


1
2
3
4
5
6


T11464.hs:5:14: error:
    • Expecting one more argument to ‘Either a’
      Expected a type, but ‘Either a’ has kind ‘* -> *’
    • In the first argument of ‘Eq’, namely ‘Either a’
      In the instance declaration for ‘Eq (Either a)’