Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7279.stderr
1
2 T7279.hs:6:10: error:
3     • Could not deduce (Show b0)
4       from the context: (Eq a, Show b)
5         bound by an instance declaration:
6                    forall a b. (Eq a, Show b) => Eq (T a)
7         at T7279.hs:6:10-35
8       The type variable ‘b0’ is ambiguous
9     • In the ambiguity check for an instance declaration
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       In the instance declaration for ‘Eq (T a)’