Strip casts in checkValidInstHead
[ghc.git] / testsuite / tests / typecheck / should_fail / T11464.stderr
1
2 T11464.hs:5:14: error:
3     • Expecting one more argument to ‘Either a’
4       Expected a type, but ‘Either a’ has kind ‘* -> *’
5     • In the first argument of ‘Eq’, namely ‘Either a’
6       In the instance declaration for ‘Eq (Either a)’