Reject class instances with type families in kinds
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2203a.stderr
1
2 T2203a.hs:13:19: error:
3     • Illegal type synonym family application ‘TheFoo a’ in instance:
4         Bar (Either a (TheFoo a))
5     • In the instance declaration for ‘Bar (Either a (TheFoo a))’